package bindlib

  1. Overview
  2. Docs
OCaml Bindlib library for bound variables

Install

Dune Dependency

rlepigre.github.io Edit opam file Versions (8)

Authors

  1. C
    Christophe Raffalli <christophe@raffalli.eu>
  2. R
    Rodolphe Lepigre <rodolphe.lepigre@inria.fr>

Maintainers

  1. R
    Rodolphe Lepigre <rodolphe.lepigre@inria.fr>

Sources

ocaml-bindlib_5.0.1.tar.gz
md5=f1d80673f8ae7bb3eedb3ed343943632

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:

Published: 21 Aug 2018

Dependencies (3)

  1. ocamlfind build
  2. ocamlbuild build
  3. ocaml >= "3.12.1"

Dev Dependencies

None

Used by (2)

  1. catala < "0.9.0"
  2. lambdapi >= "2.0.0" & < "2.2.1"

Conflicts

None