A printer is a mapping from terms to text. If this is done in a nice way, i.e., layout is placed in appropriate places, the formatter deserves the term pretty printer ...
This page provides an alphabetic glossary of terminology in the language. It is not complete nor finished. Feel free to add an entry or to improve an existing entry ...
ATermTools is a collection of generic tools for ATerms. Tools STARTINCLUDE term-to-dot transforms an ATerm to a graph in the Transform.DotLanguage pp-aterm pretty ...