package bindlib
Install
Dune Dependency
Authors
Maintainers
Sources
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).
Published: 01 Mar 2022
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:
Many more small projects...
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