Syntax

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