term-rewriting

Term Rewriting Library

http://cl-informatik.uibk.ac.at/software/haskell-rewriting/

Latest on Hackage:0.4.0.2

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
Maintained by [email protected]

Yet Another Term Rewriting Library.

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