@hackage pi-forall0.1.1

Demo implementation of typechecker for dependently-typed language

An implementation of a simple dependently typed language for OPLSS 2013