An ugly-printer is a PrettyPrinter that produces ugly output. For some applications ugly-printers can be useful. The tool pp-aterm implements a generic ugly-printer ...

After a strategy fails, variables that have been bound in matches should be unbound. This is not supported by the current compilation scheme. The following example ...

Akim Demaille pointed out that the use of autoconf and automake in Stratego and XT is antiquated, and badly needs to be updated to more modern versions of these tools ...

Allow some specification of a desugaring tool in a meta file to apply to concrete syntax Make it easier to add custom desugarings (use meta file?), maybe implement ...