summaryrefslogtreecommitdiff
path: root/rulesoutput.tex
diff options
context:
space:
mode:
authorCamil Staps2016-04-29 15:54:47 +0200
committerCamil Staps2016-04-29 15:54:47 +0200
commiteb7e088ae4f28b0bda9445be1c62a63de140b969 (patch)
treea89420b2ec4848a2dad80741ef982574ceee69b1 /rulesoutput.tex
parent\var is voor variabelen (diff)
Nog een var
Diffstat (limited to 'rulesoutput.tex')
-rw-r--r--rulesoutput.tex10
1 files changed, 6 insertions, 4 deletions
diff --git a/rulesoutput.tex b/rulesoutput.tex
index 57e7bbe..96c806e 100644
--- a/rulesoutput.tex
+++ b/rulesoutput.tex
@@ -5,9 +5,9 @@
o - Output the string at the top of the stack
\end{quote}
- Net als bij het inputcommando gaan we op een abstracte wijze met de output om.
-We houden gedurende het hele programma een stack van strings, genaamd $\Output$ bij
-waar het programma zijn output naar wegschrijft.
+Net als bij het inputcommando gaan we op een abstracte wijze met de output om.
+We houden gedurende het hele programma een stack van strings, genaamd $\Output$
+bij waar het programma zijn output naar wegschrijft.
Dit geeft de volgende regel:
@@ -26,5 +26,7 @@ $$
\endprooftree
$$
-Merk op dat eenzelfde regel waar $var$ niet achteraan maar vooraan zou komen te staan, even geldig is. Geen van beide opties is beter dan de ander omdat we geen aannames doen over hoe de $\Output$-stack wordt verwerkt.
+Merk op dat eenzelfde regel waar $s$ niet achteraan maar vooraan zou komen te
+staan, even geldig is. Geen van beide opties is beter dan de ander omdat we
+geen aannames doen over hoe de $\Output$-stack wordt verwerkt.