From c2dd4e758e3bb5f7887e7145988f6be9067d7009 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sat, 14 May 2016 19:19:26 +0200
Subject: Kleine tekstuele wijzigingen

---
 defsyn.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'defsyn.tex')

diff --git a/defsyn.tex b/defsyn.tex
index c18ede2..f535b43 100644
--- a/defsyn.tex
+++ b/defsyn.tex
@@ -4,7 +4,8 @@
 We definiëren de volgende syntax:
 \setlength{\grammarindent}{5em}
 \begin{grammar}
-	<Pgm> ::= <Stm> <Pgm> | $\lambda$
+	<Pgm> ::= <Stm>:<Pgm> | $\lambda$ %todo over de : moet uitleg komen, waarom
+	%we die introduceren
 
 	<Stm> ::= `Push' <String>
 		\alt `Cat' | `Head' | `Tail' | `Quotify'
-- 
cgit v1.2.3

