Extra Credit

lpi

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

Official docs outline

Extra Credit builds an outline of lpi's docs the first time your work uses it. Until then, start at the official documentation.

All 500