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
Published
01 Mar 2022
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"