summaryrefslogtreecommitdiff
path: root/defio.tex
diff options
context:
space:
mode:
authorW-M-T2016-06-04 11:59:15 +0200
committerW-M-T2016-06-04 11:59:15 +0200
commita8c17733c076bf72d84535208906e493d1a21659 (patch)
treea430e55866ed6f20bb86794c79e1231a508c213c /defio.tex
parentNoot over onafheid analyse toegevoegd (diff)
Some feedback processing
Diffstat (limited to 'defio.tex')
-rw-r--r--defio.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/defio.tex b/defio.tex
index 3a591c5..69280da 100644
--- a/defio.tex
+++ b/defio.tex
@@ -3,7 +3,7 @@
\label{sec:def:io}
Allereerst definiƫren we het type $\Stack{a}$, omdat stacks we veel met stacks
-doen in onze semantiek regels. Een $\Stack{a}$ (lees: een stack van elementen
+doen in onze semantiekregels. Een $\Stack{a}$ (lees: een stack van elementen
van type $a$) is een simpel datatype met de volgende syntax:
\def\inbrackets#1{$\mathrm{[}#1\mathrm{]}$}