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