Opam Package bindlib.5.0.1

Package info

opam-namebindlib
opam-version5.0.1
synopsisOCaml 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: - Christophe Raffalli <christophe@raffalli.eu> - Rodolphe Lepigre <rodolphe.lepigre@inria.fr>
authors
  • Christophe Raffalli <christophe@raffalli.eu>
  • Rodolphe Lepigre <rodolphe.lepigre@inria.fr>
homepagehttps://rlepigre.github.io/ocaml-bindlib/
licenseLGPL-3.0
deps (3)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

bindlib

Package files

lib/bindlib/bindlib.o
lib/bindlib/bindlib.mli
lib/bindlib/bindlib.ml
lib/bindlib/bindlib.cmxa
lib/bindlib/bindlib.cmx
lib/bindlib/bindlib.cmo
lib/bindlib/bindlib.cmi
lib/bindlib/bindlib.cma
lib/bindlib/bindlib.a
lib/bindlib/META
lib/bindlib