pi-forall (hackage): A demo implementation of a simple dependently-typed language
Keywords: bsd3|compilers-interpreters|library|program