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

A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml

Primary LanguageHaskellOtherNOASSERTION

No issues in this repository yet.