bindlib

AuthorsChristophe Raffalli <christophe.raffalli@univ-savoie.fr> and Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr>
LicenseLGPL-3.0
Homepagehttps://rlepigre.github.io/ocaml-bindlib/
Issue Trackerhttps://github.com/rlepigre/ocaml-bindlib/issues
MaintainerChristophe Raffalli <christophe.raffalli@univ-savoie.fr>
Dependencies
&ocamlbuild
ocamlfind
Availableocaml-version >= "3.12.1"
PublishedAug 20, 2017
Source [http] https://github.com/rlepigre/ocaml-bindlib/archive/ocaml-bindlib_4.0.4.tar.gz
da82f3c51293f62affd3687981ff839e
StatisticsInstalled 2 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bindlib/bindlib.4.0.4/opam

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:

No package is dependent