diff options
| author | Camil Staps | 2016-09-24 14:19:24 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-09-24 14:22:16 +0200 |
| commit | b5cb655b099b57d45dfc13d79ce94779dccf4126 (patch) | |
| tree | d293ca31b36b4c5ead6d3ca99fbc15cb5ac95914 /doc | |
| parent | Removed strictness paragraph from docs; doesn't apply anymore (diff) | |
Added comments
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/grammar.tex | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/grammar.tex b/doc/grammar.tex index 59026bd..65ec537 100644 --- a/doc/grammar.tex +++ b/doc/grammar.tex @@ -5,9 +5,13 @@ \setlength{\grammarparsep}{4pt} \setlength{\grammarindent}{10em} \begin{grammar} - <Fuspel> ::= <Rewrite-list> + <Fuspel> ::= <Statement-list> - <Rewrite-list> ::= <Rewrite> `;' <Rewrite-list> | <empty> + <Statement-list> ::= <Rerwite> `;' <Rewrite-list> + \alt <Comment> <Statement-list> + \alt <empty> + + <Comment> ::= `//' \dots `\textbackslash n' <Rewrite> ::= <Name> <Arg-list> `=' <Rhs> |