How to Generate a Pretty-Printer¶
A pretty-printer is a mapping from abstract syntax trees (terms) to text. The resulting text should observe the syntactic rules
Production Templates¶
Generate Pretty-Printer¶
automatically in build
generates rules for translation from AST to Box
Example. Generate pretty-print rules
Use Pretty-Printer¶
Define Builder¶
for interactive use
Define Menu Action¶
to invoke the builder
Last update:
October 17, 2024
Created: October 17, 2024
Created: October 17, 2024