Welcome to BNFC’s documentation!

Google Group | Github | Hackage

• LBNF reference
  • Introduction
  • A first example of LBNF grammar
  • LBNF in a nutshell
  • Abstract syntax conventions
  • Lexer definitions
  • LBNF pragmas
  • LBNF macros
  • Layout syntax
  • An optimization: left-recursive lists
  • Appendix: LBNF Specification
  • The lexical structure of BNF
  • The syntactic structure of LBNF
• Backend Guide
  • Agda Backend
  • Java Backend
  • Haskell Backend
  • Pygments Backend
• Other tools
  • LBNF tools
  • Similar tools
• Releasing

Indices and tables

• Index
• Module Index
• Search Page