package um-abt

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