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:

AuthorsChristophe Raffalli <christophe@raffalli.eu> and Rodolphe Lepigre <rodolphe.lepigre@inria.fr>
LicenseLGPL-3.0-only
Published
Homepagehttps://rlepigre.github.io/ocaml-bindlib/
Issue Trackerhttps://github.com/rlepigre/ocaml-bindlib/issues
MaintainerRodolphe Lepigre <rodolphe.lepigre@inria.fr>
Dependencies
Source [http] https://github.com/rlepigre/ocaml-bindlib/archive/ocaml-bindlib_5.0.0.tar.gz
sha256=814f0e0965a4d3517f6d161d8c4b186a3d473beb989dd1d94fa7a06b8437b99b
md5=3a93601680dba80d2c774fa35067f8a9
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bindlib/bindlib.5.0.0/opam
Required by