@hackage / graph-rewriting-trs

Interactive evaluation of first-order applicative term rewrite systems

Latest0.1.10

Changelog

This release does not have a Changelog