package lpi
A REPL and library for a small dependently-typed language.
Install
Dune Dependency
Authors
Maintainers
Sources
v0.0.1.tar.gz
md5=fabb1f21490025b20206b5c0d1ff6e78
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.
Published: 15 Mar 2016
On This Page