@hackage / graph-rewriting-trs

Interactive evaluation of first-order applicative term rewrite systems

0.1.10

Security Advisories

No advisories found.