bindlibversion
OCaml Bindlib library for bound variables
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.
Authors:
- Christophe Raffalli christophe@raffalli.eu
- Rodolphe Lepigre rodolphe.lepigre@inria.fr
| Authors | Christophe Raffalli <christophe@raffalli.eu> and Rodolphe Lepigre <rodolphe.lepigre@inria.fr> |
|---|---|
| License | LGPL-3.0-only |
| Published | |
| Homepage | https://rlepigre.github.io/ocaml-bindlib/ |
| Issue Tracker | https://github.com/rlepigre/ocaml-bindlib/issues |
| Maintainer | Rodolphe Lepigre <rodolphe.lepigre@inria.fr> |
| Dependencies |
|
| Source [http] | https://github.com/rlepigre/ocaml-bindlib/archive/ocaml-bindlib_4.0.5.tar.gz md5=1e9919bd553614c23c9f2770f573aa1e |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bindlib/bindlib.4.0.5/opam |
No package is dependent
