ocaml-bindlib 5.0.1 OCaml Bindlib library for bound variables
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.
- Website: https://rlepigre.github.io/ocaml-bindlib/
- License: GPL 3+
- Package source: ocaml.scm
- Patches: None
- Builds: x86_64-linux, i686-linux