Pure Fun

Tiger in Stratego -- Compilation by Program Transformation
A pure functional version of the tiger language