### 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. ### Dependencies ### List of dependencies: - OCaml - Findlib (build) - OCamlbuild (build) - GNU Make (build) ### Installation ### > make > make install ### Other things ### To generate the documentation (ocamldoc): > make doc To build the examples: > make examples