|Author||Sam Baxter <firstname.lastname@example.org>|
|Maintainer||Sam Baxter <email@example.com>|
|Available||ocaml-version >= "4.01"|
|Published||Mar 16, 2016|
|Statistics||Not installed in the last month.|
A REPL and library for a small dependently-typed language.
lpi is a small dependently-typed language supporting dependent lists and dependent function spaces, and intends to grow into a fully featured, statically-checked programming language.
|No package is dependent|