bindlib

OCaml Bindlib library for bound variables
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:

Install
Sources
ocaml-bindlib_5.0.1.tar.gz
md5=f1d80673f8ae7bb3eedb3ed343943632
Dependencies
ocaml
>= "3.12.1"
Reverse Dependencies