bindlibversion Documentation on ocaml.org
OCaml Bindlib library for bound variables
The Bindlib library provides support for free and bound variables in the
OCaml language. The main application is the representation of types with
a binding structure (e.g., abstract syntax trees).| Authors | Rodolphe Lepigre <lepigre@mpi-sws.org> and Christophe Raffalli <christophe@raffalli.eu |
|---|---|
| License | LGPL-3.0 |
| Published | |
| Homepage | https://github.com/rlepigre/ocaml-bindlib |
| Issue Tracker | https://github.com/rlepigre/ocaml-bindlib/issues |
| Maintainers | Rodolphe Lepigre <lepigre@mpi-sws.org> and Christophe Raffalli <christophe@raffalli.eu |
| Dependencies | |
| Source [http] | https://github.com/rlepigre/ocaml-bindlib/archive/6.0.0.tar.gz md5=49400a6c8a9089b21adaaf7741319596 sha512=ef0353a1b34c9790bd46e964773540a6642253d9eb6a6d57a2e80c54ac9de730d4b79540603fd6aea8ed321455b5a13d6ec8bd380c32e7bb17fe0e400360e90d |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bindlib/bindlib.6.0.0/opam |
