Online conference February 19-20. Learn more!

ocaml-bindlib 5.0.1 OCaml Bindlib library for bound variables

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.