parser

The Pancake parser.

panConcreteExamplesScript.sml:

• Pancake concrete syntax examples
• 9th May 2023: Updated with function declarations
• March 2024: Updated with shared memory instructions

panLexerScript.sml:

• The beginnings of a lexer for the Pancake language.

panPEGScript.sml:

• The beginnings of a PEG parser for the Pancake language.

panPtreeConversionScript.sml:

• Theory for translating the Pancake parse tree into the Pancake AST.