lpi
A REPL and library for a small dependently-typed language.
Description
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.
Install
- Published
-
16 Mar 2016
- Maintainers
-
Sources
Dependencies
Reverse Dependencies