Parser

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

This section describes how TRAM’s scanner / parser written in C was used as a basis to implement the scanner / parser in Tram.