Pizza

Pizza is a total pratt parser in Lean 4

Building and running

To build the project:

$ lake build

To run the example

$ lake exec pizza

References

• agdarsec - Total Parser Combinators
• Simple but Powerful Pratt Parsing