lpi

A REPL and library for a small dependently-typed language.
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

lpi

Documentation: