Changelog for term-rewriting-0.3.0.1
version 0.3.0.1
- compatibility with ghc-8.6.1
version 0.3
- drop Control.Monad.Error import in Data.Rewriting.Term.Parse
- fix testsuite
* include all modules in source distribution
* build fix for recent QuickCheck
version 0.2.1.1
- Changelog
version 0.2.1
- add Term.mapSides, Rule.map, Rules.map, Problem.map
- fix build with ghc-8.0.2 (and remove overlapping instance)
version 0.2
- fix argument order of Data.Rewriting.Rule.isVariantOf
version 0.1.2.2
- fix build with ghc-7.10.1
version 0.1.2.1
- fix Data.Rewriting.CriticalPair.cpsIn and cpsOut
version 0.1.2
- update to parsec >= 3.1.6 API (thanks alpako!)
version 0.1.1
- no changelog (yet?)