Blog
A Comment-Preserving Pretty-Printer
on 2022-11-17
The goal is to implement a comment-preserving autoformatter for a lambda
calculus language using s-expressions. Without comments, the grammar of the
languages is (with v as a metavariable for identifiers and n as a
metavariable for literal integers):
Additional posts can be found in the archive.