@hackage term-rewriting0.2.1.1

Term Rewriting Library

Yet Another Term Rewriting Library.

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