bindlib

AuthorsChristophe Raffalli <raffalli@univ-savoie.fr> and Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr>
LicenseLGPL-3.0
Homepagehttp://lama.univ-savoie.fr/~raffalli/bindlib
Issue Trackermailto:raffalli@univ-savoie.fr
MaintainerChristophe Raffalli <raffalli@univ-savoie.fr>
Dependencies
ocamlfind
PublishedMay 30, 2016
Source [http] https://lama.univ-savoie.fr/~raffalli/bindlib/bindlib-4.0.tar.gz
ce1ca69a76ba5ecf1735a64ab1c175c9
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bindlib/bindlib.4.0/opam

OCaml Bindlib library for bound variables

Bindlib is a library for the Objective-Caml language providing reasonable tools to write programs manipulating data structures with bound variables (like lambda-calculus or quantified formulae). It is quite efficient and easy to use.

Authors

* Christophe Raffalli
* Rodolphe Lepigre
No package is dependent