Term Rewriting Library http://cl-informatik.uibk.ac.at/software/haskell-rewriting/
|Latest on Hackage:||0.2.1.1|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
Yet Another Term Rewriting Library.
This library provides basic data types and functionality for first order term rewriting.
- add Term.mapSides, Rule.map, Rules.map, Problem.map
- fix build with ghc-8.0.2 (and remove overlapping instance)
- fix argument order of Data.Rewriting.Rule.isVariantOf
- fix build with ghc-7.10.1
- fix Data.Rewriting.CriticalPair.cpsIn and cpsOut
- update to parsec >= 3.1.6 API (thanks alpako!)
- no changelog (yet?)