package um-abt
An OCaml library implementing unifiable abstract binding trees (UABTs)
Install
Dune Dependency
Authors
Maintainers
Sources
um-abt-v0.1.3.tbz
sha256=454f85bde8c196e2ea7abd05a593155c3fea3de4c456d6142a56b161e8726b49
sha512=cbb2425262c392b760f270174fedbadc86af2a9af5cecf95ec02a7bcca36921dda163a0407f32b5ce6eb6843364a187698af8e642d5e2cfaf87ae3086f4b211d
CHANGES.md.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