summaryrefslogtreecommitdiff
path: root/explanation.tex
diff options
context:
space:
mode:
authorCamil Staps2016-06-13 12:07:21 +0200
committerCamil Staps2016-06-13 12:07:21 +0200
commit7614203889c638de76e2b917a5c78001cead968b (patch)
tree6c4c7b7dbd0d40b15e12ebc6686283c2ccff733f /explanation.tex
parentprove (diff)
Alle bomen toegevoegd
Diffstat (limited to 'explanation.tex')
-rw-r--r--explanation.tex9
1 files changed, 5 insertions, 4 deletions
diff --git a/explanation.tex b/explanation.tex
index 4771ffa..9d9a425 100644
--- a/explanation.tex
+++ b/explanation.tex
@@ -5,10 +5,11 @@
Om uit te leggen hoe dit programma precies functioneert, zullen we een
programma bekijken dat er identiek aan is, op de namen van de gebruikte
variabelen na. In de analyse zijn de namen kleiner gemaakt, zodat de
-bewijsbomen minder breed zouden worden. De variabele \texttt{program}
-correspondeert met \texttt{u}, \texttt{grow} met \texttt{v} en \texttt{shrink}
-met \texttt{w}. We zullen het programma opdelen in twee aparte programma's die
-elk apart bekeken kunnen worden zodat het geheel beter te begrijpen is.
+bewijsbomen minder breed zouden worden. De variabele \smurfinline{program}
+correspondeert met \smurfinline{u}, \smurfinline{grow} met \smurfinline{v} en
+\smurfinline{shrink} met \smurfinline{w}. We zullen het programma opdelen in
+twee aparte programma's die elk apart bekeken kunnen worden zodat het geheel
+beter te begrijpen is.
\input{explanation-outer}
\input{explanation-inner}