Concrete-syntax
Concrete syntax of Leo.
The concrete syntax of Leo defines
which Unicode character sequences
form syntactically valid Leo code and related artifacts,
and how such sequences are organized into constructs.
The concrete syntax of Leo is formalized via ABNF grammar rules,
complemented by a declarative specification of lexing and parsing
that uses and disambiguates the grammar rules.
Subtopics
- Pretty-printer
- A pretty-printer for Leo (code) files.
- Grammar
- ABNF grammar of Leo.
- Lexing-and-parsing
- Lexing and parsing of Leo.
- Input-pretty-printer
- A pretty-printer for Leo input files.
- Output-pretty-printer
- A pretty-printer for Leo output files.
- Unicode-characters
- Unicode characters.
- Concrete-syntax-trees
- Concrete syntax trees (CSTs).
- Symbols
- Leo symbols.
- Keywords
- Leo keywords.
