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.
- Webauftritt: https://rlepigre.github.io/ocaml-bindlib/
- Lizenz: GPL 3+
- Paketquellcode: ocaml.scm
- Patches: Keine
- Erstellungen: x86_64-linux, i686-linux