casvdrest

Cas van der Rest's repositories

Composable intrincially-typed definitional interpreters

Language:AgdaCC-BY-4.015 1 1

Artefact supporting our PEPM21 short paper submission

Language:Agda6 30

Enumeration for indexed datatypes

Language:TeX5 3 9

Finally tagless, finally in Agda

Language:Haskell3 30

Language:Agda3 10

Language:C#1 20

Language:Idris1 20

The Agda standard library

Language:AgdaNOASSERTION000

Language:Agda000

Preprocessor for typesetting Haskell sources with LaTeX

Language:HaskellNOASSERTION000

Language:ForthCC-BY-4.0000

Language:TeX000

Experiments with the Statix meta-language

Language:AMPL000