summaryrefslogtreecommitdiff
path: root/rulesoutput.tex
diff options
context:
space:
mode:
authorW-M-T2016-04-29 15:14:30 +0200
committerW-M-T2016-04-29 15:14:30 +0200
commit437a9e3b60e681373bd142c90c5295694f425d2d (patch)
tree023a8a4a6192279943d57536957fe4cb75942700 /rulesoutput.tex
parentOutput rule (diff)
spelling/structure
Diffstat (limited to 'rulesoutput.tex')
-rw-r--r--rulesoutput.tex8
1 files changed, 4 insertions, 4 deletions
diff --git a/rulesoutput.tex b/rulesoutput.tex
index 3f6ab0a..739ced0 100644
--- a/rulesoutput.tex
+++ b/rulesoutput.tex
@@ -5,11 +5,11 @@
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,
+ 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:
+ Dit geeft de volgende regel:
$$
\prooftree
@@ -26,5 +26,5 @@ $$
\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 doe de $\Output$-stack wordt verwerkt.
+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.