lpiversion
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.
| Author | Sam Baxter <[email protected]> |
|---|---|
| License | MIT |
| Published | |
| Homepage | http://github.com/baxtersa/lambda-pi |
| Issue Tracker | http://github.com/baxtersa/lambda-pi/issues |
| Maintainer | Sam Baxter <[email protected]> |
| Dependencies | |
| Source [http] | https://github.com/baxtersa/lambda-pi/archive/v0.0.2.tar.gz sha256=f64f18d5838f3eb24b2d40d7b7deb64d06d890972ca5b47f68221e772b3f1ded md5=7a6b764fb591a8f0c064af3015dc75f3 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lpi/lpi.0.0.2/opam |
No package is dependent
