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