package bindlib

  1. Overview
  2. No 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.0.tar.gz
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:

Published: 27 May 2018

Dependencies (3)

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

Dev Dependencies

None

Used by (1)

  1. lambdapi < "2.0.0"

Conflicts

None