@hackage graph-rewriting-trs0.1

Evaluate a first-order term rewrite system interactively using graph reduction

Given a set of term rewriting rules (see examples) and a term with this tool you can interactively evaluate the corresponding term graph by applying the rules, which are translated into their graph rewriting equivalents.