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} - ::= | $\lambda$ + ::= : | $\lambda$ %todo over de : moet uitleg komen, waarom + %we die introduceren ::= `Push' \alt `Cat' | `Head' | `Tail' | `Quotify' -- cgit v1.2.3