summaryrefslogtreecommitdiff
path: root/defsyn.tex
diff options
context:
space:
mode:
Diffstat (limited to 'defsyn.tex')
-rw-r--r--defsyn.tex3
1 files changed, 1 insertions, 2 deletions
diff --git a/defsyn.tex b/defsyn.tex
index f376664..a830a7c 100644
--- a/defsyn.tex
+++ b/defsyn.tex
@@ -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'