package um-abt

You can search for identifiers within the package.

in-package search v0.2.0

An OCaml library implementing unifiable abstract binding trees (UABTs)

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (3)

Authors

S

Shon Feder

Maintainers

S

shon.feder@gmail.com

Sources

um-abt-v0.1.3.tbz

sha256=454f85bde8c196e2ea7abd05a593155c3fea3de4c456d6142a56b161e8726b49

sha512=cbb2425262c392b760f270174fedbadc86af2a9af5cecf95ec02a7bcca36921dda163a0407f32b5ce6eb6843364a187698af8e642d5e2cfaf87ae3086f4b211d

doc/CHANGES.html

v0.1.3

Put lower bound of 4.08.0 on ocaml compiler

v0.1.2

Fix missing logs dependency
Fix documentation of =.= operator

v0.1.1

Fix binding constructor bug
Fix build failure
Fix missing dependencies

v0.1.0

Initial release

On This Page

v0.1.2
v0.1.1
v0.1.0