2. Combinator Parsing

• 2.1. Layout Parsing
  • 2.1.1. Parsing Expression Grammar
  • 2.1.2. Formal Semantics
    • 2.1.2.1. Indentation of a Sequence of Tokens
    • 2.1.2.2. Transition Relation
    • 2.1.2.3. Empty Expression
    • 2.1.2.4. Terminal
    • 2.1.2.5. Nonterminal
    • 2.1.2.6. Sequence
    • 2.1.2.7. Biased Choice
    • 2.1.2.8. Backtrack
    • 2.1.2.9. Alignment
    • 2.1.2.10. Indentation
    • 2.1.2.11. Detachment
  • 2.1.3. Implementation