evertedsphere / how-to-implement-dependent-type-theory

A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
38Updated 4 years ago

Related projects

Alternatives and complementary repositories for how-to-implement-dependent-type-theory