Adds explicit definition of the algebraic syntax#227

Merged

hartig merged 4 commits intomainfrom

AlgebraicSyntax

Jun 27, 2025

Commits on May 25, 2025

adds an explicit definition of the algebraic syntax, and uses it in the translation of PP expressions/patterns
hartig
committed

Commits on May 26, 2025

Notes with pointers to GitHub issues created during the work on the algebraic syntax
hartig
committed

Commits on Jun 25, 2025

fixes HTML error (div cannot be between li)
hartig
committed

Commits on Jun 27, 2025

Statement about the translation needs to say that AST is an intermediary representation.
hartig
authored