pure [https://agraef.github.io/pure-lang/ https://agraef.github.io/pure-lang/] is probably the most "practical" term rewriting language, though mathematica is t

pure [https://agraef.github.io/pure-lang/ https://agraef.github.io/pure-lang/] is probably the most "practical" term rewriting language, though mathematica is the most used one by far.