Kleine tekstuele wijzigingen

1 files changed, 5 insertions, 3 deletions

diff --git a/defio.tex b/defio.tex
index 2dae933..4e61ac5 100644
--- a/defio.tex
+++ b/defio.tex
@@ -2,8 +2,9 @@
 \subsection{Input en output}
 \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 van type $a$) is een
-simpel datatype met de volgende syntax:
+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
+van type $a$) is een simpel datatype met de volgende syntax:
 
 \begin{grammar}
 	<Stack[a]> ::= [<a>:<Stack[a]>] | `Nil'
@@ -18,7 +19,8 @@ Op een stack zijn twee instructies gedefinieerd:
 	\pop{[e:s]} \isdef (e,s) \\
 \end{gather*}
 
-$\popop$ is een partiële functie omdat $\pop\Nil$ niet gebruikt mag worden in onze semantiekregels.
+$\popop$ is een partiële functie omdat $\pop\Nil$ niet gebruikt mag worden in
+onze semantiekregels. %todo waarom niet?
 
 \medskip
 We zullen de input en output beide als $\Stack{\String}$ modelleren. In feite