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 for ATerms. It is part of the ATermTools. It transforms an ATerm to an AST in the BoxLanguage. This Box term is pretty printed to text with the GPP package.
-- MartinBravenboer - 27 Feb 2003
CategoryPrettyPrint?