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.5.tbz
sha256=d22a7c70f310a58c38906164fc8cef10b72da7989cf2686a51d6b75cf041e041
sha512=2fdc2823fe5d0d5a123e3daa7cc3c5e06b226caa2cbf3e8f824f24e87d595260b31787faa11961a1fb0f806fa0911894b31625daea2e6b980bb6a3b9330b9523

CHANGES.md.html

v0.1.5

  • Fix bug in ɑ-equivalence algorithm (See f89271)

v0.1.4

  • Add conflict with result < 1.5

  • Remove lower bound on ocaml compiler

  • Add Syntax signature

  • Fix nominal unification

  • Fix cyclic term detection

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.