This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

Primitives

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