bindlib

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

Install
Documentation github.com Changelog LGPL-3.0 License Edit opam file
Published
01 Mar 2022
Authors
Maintainers
Sources
6.0.0.tar.gz
md5=49400a6c8a9089b21adaaf7741319596 sha512=ef0353a1b34c9790bd46e964773540a6642253d9eb6a6d57a2e80c54ac9de730d4b79540603fd6aea8ed321455b5a13d6ec8bd380c32e7bb17fe0e400360e90d
Dependencies
odoc with-doc
earley = "3.0.0" & with-test
timed = "1.0" & with-test
dune >= "2.7"
ocaml >= "4.07.0"
Reverse Dependencies
catala >= "0.6.0"
lambdapi >= "2.2.0"