diff options
Diffstat (limited to 'doc/grammar.tex')
| -rw-r--r-- | doc/grammar.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/grammar.tex b/doc/grammar.tex index 7a67a30..ac4f0ee 100644 --- a/doc/grammar.tex +++ b/doc/grammar.tex @@ -31,6 +31,7 @@ \alt <List> \alt <Tuple> \alt <Expr> <Expr> + \alt `code' <Name> \alt `(' <Expr> `)' <List> ::= `[' <Expr> `:' <List> `]' |