Beast code in Giters

Justus Matthiesen's repositories

Language:TeX5 10

A type checker for FreshMLTT, a dependent type theory with abstractable names together with an equational characterisation of freshness.

Language:OCaml1 10

A purely functional programming language with first class types

Language:IdrisNOASSERTION000

Language:TeX010

Language:OCaml010

Type checker for pure MLTT using well-scoped de Bruijn indices

Language:OCaml010

A core language and API for dependently typed languages

Language:Idris000