Value

Term Rewriting Turtles all the way down Language definitions are often based on significant tacit knowledge.

TRAM (Term Rewriting Abstract Machine) is an implementation of term rewriting systems.