joom / how-to-implement-dependent-type-theory Goto Github PK
View Code? Open in Web Editor NEWThis project forked from evertedsphere/how-to-implement-dependent-type-theory
A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
License: Other