summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--rulesoutput.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/rulesoutput.tex b/rulesoutput.tex
index 739ced0..7bdc741 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.
+ 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