package um-abt

  1. Overview
  2. Docs
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

OCaml

Innovation. Community. Security.