bindlib

Authors { Christophe Raffalli <raffalli@univ-savoie.fr>, Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr> }
License LGPL-3.0
Homepage http://lama.univ-savoie.fr/~raffalli/bindlib
Issue Tracker http://lama.univ-savoie.fr/mantis/view_all_bug_page.php?project_id=3
Maintainer Christophe Raffalli <raffalli@univ-savoie.fr>
Dependencies
ocamlfind
Published Jan 27, 2017
Source [http] http://lama.univ-savoie.fr/~raffalli/bindlib/bindlib-4.0.3.tar.gz
49f7dcb45ebe49765dc850db7b842e32
Statistics Installed 8 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/bindlib/bindlib.4.0.3/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