package bindlib
OCaml Bindlib library for bound variables
Install
Dune Dependency
Authors
Maintainers
Sources
ocaml-bindlib_5.0.0.tar.gz
sha256=814f0e0965a4d3517f6d161d8c4b186a3d473beb989dd1d94fa7a06b8437b99b
md5=3a93601680dba80d2c774fa35067f8a9
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.eu
- Rodolphe Lepigre rodolphe.lepigre@inria.fr
Published: 27 May 2018
Dependencies (3)
-
ocamlfind
build -
ocamlbuild
build -
ocaml
>= "3.12.1"
Dev Dependencies
None
Used by (1)
-
lambdapi
< "2.0.0"
Conflicts
None
On This Page