@hackage term-rewriting0.1.2.1

Term Rewriting Library

Yet Another Term Rewriting Library.

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