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. In the internals, binders are
represented using a form of higher-order abstract syntax (HOAS).
Projects using Bindlib:
Many more small projects...
List of dependencies:
OCaml (at least version 4.07.0),
The Dune build system (at least version 2.7.0).
You can either pin the repository with opam or run the following.
make make install
= "3.0.0" & with-test
= "1.0" & with-test