0.1.7

CHANGES:

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

0.1.6

CHANGES:

• Improve documentation

0.1.5

CHANGES:

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

0.1.4

CHANGES:

• Add conflict with result < 1.5
• Remove lower bound on ocaml compiler
• Add Syntax signature
• Fix nominal unification
• Fix cyclic term detection

0.1.3

CHANGES:

• Put lower bound of 4.08.0 on ocaml compiler

0.1.2

CHANGES:

• Fix missing logs dependency
• Fix documentation of =.= operator

0.1.1

CHANGES:

• Fix binding constructor bug
• Fix build failure
• Fix missing dependencies

v0.1.0

CHANGES:

• Initial release