@hackage / pi-forall

Demo implementation of typechecker for dependently-typed language