Parsing

Last updated May 3, 2023

• Parsing via splice
• Parsing vs pretty-printing
• Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem (Mellies, Zeilberger, 2022)