README.md

term-rewriting library

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

It is also available from hackage (including some documentation):

http://hackage.haskell.org/package/term-rewriting