diff options
Diffstat (limited to 'defsyn.tex')
-rw-r--r-- | defsyn.tex | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -4,8 +4,7 @@ We definiƫren de volgende syntax: \setlength{\grammarindent}{5em} \begin{grammar} - <Pgm> ::= <Stm>:<Pgm> | $\lambda$ %todo over de : moet uitleg komen, waarom - %we die introduceren + <Pgm> ::= <Stm>:<Pgm> | $\lambda$ <Stm> ::= `Push' <String> \alt `Cat' | `Head' | `Tail' | `Quotify' |