Efficient binder representation in OCaml
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.
attic folder renaming in attic Aug 20, 2017
docs Paper link in docs. Sep 10, 2018
examples Enable more OCaml warnings. May 1, 2018
.travis.yml No version 4.08 in Travis (no ocamlbuild). Aug 21, 2018
LICENSE Cleaning of the source tree (things in attic) Aug 20, 2017
README.md Populate [README.md]. Sep 10, 2018
bindlib.ml Check arity match in [unmbind2] + doc fix. Aug 21, 2018
bindlib.mli Documentation update. Sep 10, 2018
bindlib.odocl Forgot file bindlib.odocl Jan 28, 2017


The Bindlib library for OCaml

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:


List of dependencies:

  • OCaml (at least 3.12)
  • Findlib (build)
  • OCamlbuild (build)
  • GNU Make (build)


make install

Other things

To generate the documentation (ocamldoc):

make doc

To build the examples:

make examples
make tests