package lpi

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

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. S
    Sam Baxter <baxtersa14@gmail.com>

Maintainers

  1. S
    Sam Baxter <baxtersa14@gmail.com>

Sources

v0.0.2.tar.gz
sha256=f64f18d5838f3eb24b2d40d7b7deb64d06d890972ca5b47f68221e772b3f1ded
md5=7a6b764fb591a8f0c064af3015dc75f3

doc/index.html

lpi

API

Library lpi

No module.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct
On This Page
  1. API
    1. Library lpi