package bindlib
OCaml Bindlib library for bound variables
Install
Dune Dependency
Authors
Maintainers
Sources
ocaml-bindlib_4.0.5.tar.gz
sha256=1f785115d853b833adf3f796198b56caf26307cca364790a82cddde820f42e46
md5=1e9919bd553614c23c9f2770f573aa1e
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: 11 Feb 2018
Dependencies (3)
-
ocamlfind
build
-
ocamlbuild
build
-
ocaml
>= "3.12.1"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page