diff options
| -rw-r--r-- | rulesoutput.tex | 4 |
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 |