Rewrite Engine

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).

Section Tram – A Meta-Interpreter describes a rewrite engine on meta-terms.