term-rewriting

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.

MIT licensed by Martin Avanzini, Bertram Felgenhauer, Christian Sternagel, Ilya Epifanov

Yet Another Term Rewriting Library.

This library provides basic data types and functionality for first order term rewriting.

Changes

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?)
comments powered byDisqus