package bindlib
OCaml Bindlib library for bound variables
Install
Dune Dependency
Authors
Maintainers
Sources
ocaml-bindlib_4.0.4.tar.gz
sha256=7eab22f8855687b3f7400d7cffa1a28c611cb775e5a15a4f693a3b7d36bbc6dc
md5=da82f3c51293f62affd3687981ff839e
Description
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@univ-savoie.fr
- Rodolphe Lepigre rodolphe.lepigre@univ-savoie.fr
Published: 22 Aug 2017
Dependencies (3)
-
ocamlfind
build -
ocamlbuild
build -
ocaml
>= "3.12.1"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page