More feedback processing

1 files changed, 3 insertions, 3 deletions

diff --git a/defio.tex b/defio.tex
index 69280da..20f3b73 100644
--- a/defio.tex
+++ b/defio.tex
@@ -2,7 +2,7 @@
 \subsection{Input en output}
 \label{sec:def:io}
 
-Allereerst definiëren we het type $\Stack{a}$, omdat stacks we veel met stacks
+Allereerst definiëren we het type $\Stack{a}$, omdat we veel met stacks
 doen in onze semantiekregels. Een $\Stack{a}$ (lees: een stack van elementen
 van type $a$) is een simpel datatype met de volgende syntax:
 
@@ -20,8 +20,8 @@ Op een stack zijn twee instructies gedefinieerd:
 	\pop{[e:\stk]} \isdef (e,\stk) \\
 \end{gather*}
 
-$\popop$ is een partiële functie omdat $\pop\Nil$ niet gebruikt mag worden in
-onze semantiekregels. %todo waarom niet?
+In de documentatie \cite{safalra} wordt niet beschreven wat er gebeurt wanneer een $\popop$ wordt uitgevoerd op een lege stack. In de \texttt{Perl}-interpreter van de taal wordt ervoor gekozen om het programma abrupt te termineren met een error. Wij hebben ervoor gekozen om $\popop$ als een partiële functie te zien waar $\pop\Nil$ ongedefinieerd blijft zodat er geen afleidingsbomen bestaan voor programma's waar dit gebeurt.
+
 
 \medskip
 We zullen de input en output beide als $\Stack{\String}$ modelleren. In feite