diff options
| author | Camil Staps | 2016-10-06 17:23:17 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-10-06 17:35:02 +0200 |
| commit | 37198812016cf53ca2b3fb832d8d09d528f81098 (patch) | |
| tree | 75aeb2da0ee31254c15b45bb12074f6e6ace2f49 /doc | |
| parent | Adds a trace code (diff) | |
List notation shortcut (resolves #5)
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/grammar.tex | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/grammar.tex b/doc/grammar.tex index 00e24b8..111cfc8 100644 --- a/doc/grammar.tex +++ b/doc/grammar.tex @@ -24,8 +24,11 @@ \alt <Simple-list> \alt <Simple-tuple> - <Simple-list> ::= `[' <Simple-expr> `:' <Simple-list> `]' + <Simple-list> ::= `[' <Simple-expr-list> `:' <Simple-list> `]' + \alt `[' <Simple-expr-list> `]' \alt `[]' + + <Simple-expr-list> ::= <Simple-expr> `,' <Simple-expr-list> | <Simple-expr> <Simple-tuple> ::= `(' <Simple-expr> `,' <Simple-expr> `)' |