- Add s-expression representation of UABTs (See #3)
- Improve documentation
- Fix bug in ɑ-equivalence algorithm (See f89271)
- Add conflict with
result < 1.5 - Remove lower bound on ocaml compiler
- Add Syntax signature
- Fix nominal unification
- Fix cyclic term detection
- Put lower bound of 4.08.0 on ocaml compiler
- Fix missing logs dependency
- Fix documentation of
=.=operator
- Fix binding constructor bug
- Fix build failure
- Fix missing dependencies
- Initial release