package bindlib
OCaml Bindlib library for bound variables
Install
Dune Dependency
Authors
Maintainers
Sources
ocaml-bindlib_5.0.1.tar.gz
sha256=25c741525be5c00730fe7674fb59d9a577599744fdad301cb0a83bea3069b941
md5=f1d80673f8ae7bb3eedb3ed343943632
Description
Bindlib is a library allowing the manipulation of data structures with bound variables. It is particularly useful when writing ASTs for programming languages, but also for manipulating terms of the λ-calculus or quantified formulas.
Authors:
- Christophe Raffalli christophe@raffalli.eu
- Rodolphe Lepigre rodolphe.lepigre@inria.fr
Published: 21 Aug 2018
Dependencies (3)
-
ocamlfind
build
-
ocamlbuild
build
-
ocaml
>= "3.12.1"
Dev Dependencies
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page