package bindlib

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

Install

Dune Dependency

lama.univ-savoie.fr Edit opam file Versions (8)

Authors

  1. C
    Christophe Raffalli <raffalli@univ-savoie.fr>
  2. R
    Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr>

Maintainers

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

Sources

bindlib-4.0.tar.gz
md5=ce1ca69a76ba5ecf1735a64ab1c175c9

Description

Bindlib is a library for the Objective-Caml language providing reasonable tools to write programs manipulating data structures with bound variables (like lambda-calculus or quantified formulae). It is quite efficient and easy to use.

Authors * Christophe Raffalli * Rodolphe Lepigre

Published: 30 May 2016

Dependencies (2)

  1. ocamlfind build
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None