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| Authors | Christophe Raffalli <raffalli@univ-savoie.fr> and Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr> |
|---|---|
| License | LGPL-3.0-only |
| Published | |
| Homepage | http://lama.univ-savoie.fr/~raffalli/bindlib |
| Issue Tracker | mailto:raffalli@univ-savoie.fr |
| Maintainer | Christophe Raffalli <raffalli@univ-savoie.fr> |
| Dependencies | |
| Source [http] | https://github.com/ocaml/opam-source-archives/raw/main/bindlib-4.0.tar.gz md5=ce1ca69a76ba5ecf1735a64ab1c175c9 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bindlib/bindlib.4.0/opam |
No package is dependent
