package um-abt

  1. Overview
  2. Docs
An OCaml library implementing unifiable abstract binding trees (UABTs)

Install

Dune Dependency

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

Authors

  1. S
    Shon Feder

Maintainers

  1. S
    shon.feder@gmail.com

Sources

um-abt-v0.1.7.tbz
sha256=9472873b4f485ff1c169d950488133c79efb4b00b757526bfb14a2f043a0480f
sha512=e3ea3990177778ae109082bea0b952b760b4fc9a243f0321367d2927061e3766c0d99679c5e4b13f89532b22ad4993c34f91b625ec40e07f113b9812521f91f4

CHANGES.md.html

v0.1.7

  • Add s-expression representation of UABTs (See #3)

v0.1.6

  • Improve documentation

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