Primitives

Content created by Fernando Chu, Egbert Rijke and Fredrik Bakke.

Created on 2023-04-27.
Last modified on 2023-05-06.

Files in the primitives folder

module primitives where

open import primitives.characters public
open import primitives.floats public
open import primitives.machine-integers public
open import primitives.strings public

Recent changes

• 2023-05-06. Egbert Rijke. Collecting some easily defined precategories (#598).
• 2023-04-27. Fernando Chu, Fernando Chu, Fernando Chu and Fredrik Bakke. Reflection and solvers (#571).