package bindlib
OCaml Bindlib library for bound variables
Install
Dune Dependency
Authors
Maintainers
Sources
bindlib-4.0.tar.gz
sha256=7d25215240783596eb93cb5b41f026b1d61a5f5c47f87d39e9b47bb58bc7ab9a
md5=ce1ca69a76ba5ecf1735a64ab1c175c9
Description
Bindlib is a library for the Objective-Caml language providing reasonable tools to write programs manipulating data structures with bound variables (like lambda-calculus or quantified formulae). It is quite efficient and easy to use.
Authors * Christophe Raffalli * Rodolphe Lepigre
Published: 30 May 2016
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page