bindlib

OCaml Bindlib library for bound variables
README

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. In the internals, binders are
represented using a form of higher-order abstract syntax (HOAS).

Ressources:

Projects using Bindlib:

Dependencies

List of dependencies:

  • OCaml (at least version 4.07.0),

  • The Dune build system (at least version 2.7.0).

Installation

You can either pin the repository with opam or run the following.

make
make install
Install
Sources
6.0.0.tar.gz
md5=49400a6c8a9089b21adaaf7741319596
sha512=ef0353a1b34c9790bd46e964773540a6642253d9eb6a6d57a2e80c54ac9de730d4b79540603fd6aea8ed321455b5a13d6ec8bd380c32e7bb17fe0e400360e90d
Dependencies
odoc
with-doc
earley
= "3.0.0" & with-test
timed
= "1.0" & with-test
dune
>= "2.7"
ocaml
>= "4.07.0"
Reverse Dependencies
catala
>= "0.6.0"
lambdapi
>= "2.2.0"