Symbol

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

TRAM.1 is an implementation of term rewriting systems. TRAM.1 is written in standard C using only a few standard libraries.

This section annotates the full source of TRAM.1 (version of Oct 2021).