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
Published
21 Aug 2018
Authors
Maintainers
Sources
ocaml-bindlib_5.0.1.tar.gz
md5=f1d80673f8ae7bb3eedb3ed343943632
Dependencies
ocaml >= "3.12.1"
Reverse Dependencies
lambdapi >= "2.0.0" & < "2.3.0"