At the sixth day, you need to define rewrite rules for desugaring, type projection, and type constraints for !MiniJava. Desugaring A uniform representation of unary ...
It is important that you run Eclipse 3.7 with an unstable built of Spoofax. All other combinations are likely not to work. Before you start this assignment, you need ...