package lpi
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
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page