## 2.1.0 (2020-02-13)

* Modernized the DOT output for definitional trees and narrowing graphs
* Added the `Rewriting.UnificationSpec` module to the list of exported modules

## 2.0.1 (2019-11-05)

* Fixed an infinite loop in the construction of definitional trees

## 2.0.0 (2019-10-16)

* First release