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@univ-savoie.fr>
  2. R
    Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr>

Maintainers

  1. C
    Christophe Raffalli <christophe.raffalli@univ-savoie.fr>

Sources

ocaml-bindlib_4.0.4.tar.gz
md5=da82f3c51293f62affd3687981ff839e

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: 22 Aug 2017

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None