gkd 0.1

gkd

A set of tools to help programming in LaTex.

pip install gkd, and append contents of gkd.tex to your Tex sources.

GKDBNF: The best LaTex BNF package you've ever seen?

This relies on paperbnf.

Usage

\begin{GKDBNF}{some_unique_id}
!Expressions! <e> ::= <e> ( <e>  )
| let <n> = <e> in <e>
| !$\lambda$! <n> . <e>
| <\mathtt{atom}>

\end{GKDBNF}

Remember to place a blank line in the end of GKDBNF block.

How to write this BNF?

Follow the syntax and lexer rules:

Valid BNF Syntax:

<atom> ::= NONTERMINAL
       | TERMINAL
       | TERMINAL2
       | '|'



<prod> ::= NONTERMINAL '::=' <atom>+ NEWLINE
       | TERMINAL NONTERMINAL '::=' <atom>+ NEWLINE
       | TERMINAL2 NONTERMINAL '::=' <atom>+ NEWLINE
       | '|' <atom>+ <NEWLINE>

Lexer rule by regex:

NEWLINE     = [\r\n]+
NONTERMINAL = <.*?>
TERMINAL2   = !.*?!
Term        = \S+

Whitespace tokens are ignored.