Skip to content

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: May 31, 2024
Created: May 31, 2024