package lpi

  1. Overview
  2. Docs
A REPL and library for a small dependently-typed language.

Install

Dune Dependency

Authors

Maintainers

Sources

v0.0.1.tar.gz
sha256=cb21468158adea57125ba140cd5ee6a042a60858524cc0f983517204e11652ac
md5=fabb1f21490025b20206b5c0d1ff6e78

doc/index.html

lpi

OCaml

Innovation. Community. Security.