bindlibversion

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
AuthorsChristophe Raffalli <raffalli@univ-savoie.fr> and Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr>
LicenseLGPL-3.0-only
Published
Homepagehttp://lama.univ-savoie.fr/~raffalli/bindlib
Issue Trackerhttp://lama.univ-savoie.fr/mantis/view_all_bug_page.php?project_id=3
MaintainerChristophe Raffalli <raffalli@univ-savoie.fr>
Dependencies
Source [http] https://github.com/ocaml/opam-source-archives/raw/main/bindlib-4.0.2.tar.gz
sha256=21d0d0601a11d42c0afbb7405183e8214430be66e3fd67867e3c1f572a5b70f3
md5=6b37b02a6d1c7e5bb51ba96adbf84afc
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bindlib/bindlib.4.0.2/opam
No package is dependent