how-to-implement-dependent-type-theory. A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml

github.com/evertedsphere/how-to-implement-dependent-type-theory
by @evertedsphere

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.