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