package bindlib

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

Install

Dune Dependency

Authors

Maintainers

Sources

ocaml-bindlib_5.0.1.tar.gz
sha256=25c741525be5c00730fe7674fb59d9a577599744fdad301cb0a83bea3069b941
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

OCaml

Innovation. Community. Security.