@hackage term-rewriting0.1.2.2

Term Rewriting Library

Yet Another Term Rewriting Library.

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