package bindlib

All checked builds pass
  1. Overview
  2. Docs
OCaml Bindlib library for bound variables

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (8)

Authors

  1. R
    Rodolphe Lepigre <lepigre@mpi-sws.org>
  2. C
    Christophe Raffalli <christophe@raffalli.eu

Maintainers

  1. R
    Rodolphe Lepigre <lepigre@mpi-sws.org>
  2. C
    Christophe Raffalli <christophe@raffalli.eu

Sources

6.0.0.tar.gz
md5=49400a6c8a9089b21adaaf7741319596
sha512=ef0353a1b34c9790bd46e964773540a6642253d9eb6a6d57a2e80c54ac9de730d4b79540603fd6aea8ed321455b5a13d6ec8bd380c32e7bb17fe0e400360e90d

Description

The Bindlib library provides support for free and bound variables in the OCaml language. The main application is the representation of types with a binding structure (e.g., abstract syntax trees).

Added to opam-repository:

README

The Bindlib library for OCaml

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. In the internals, binders are represented using a form of higher-order abstract syntax (HOAS).

Ressources:

Projects using Bindlib:

Dependencies

List of dependencies:

  • OCaml (at least version 4.07.0),
  • The Dune build system (at least version 2.7.0).

Installation

You can either pin the repository with opam or run the following.

make
make install

Dependencies (2)

  1. dune >= "2.7"
  2. ocaml >= "4.07.0"

Dev Dependencies (3)

  1. odoc with-doc
  2. earley = "3.0.0" & with-test
  3. timed = "1.0" & with-test

Optional Dependencies

None

Used by (2)

  1. catala >= "0.6.0"
  2. lambdapi >= "2.2.0" & < "3.0.0"

Conflicts

None

Build status

Results of building bindlib with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
6.0.0 (this version) good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure