@hackage term-rewriting0.3.0.1

Term Rewriting Library

Yet Another Term Rewriting Library.

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