Scanner

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