summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorW-M-T2016-05-25 17:49:53 +0200
committerW-M-T2016-05-25 17:49:53 +0200
commit3599cdb8bcf88679cb40f89ce56b70e8b1683d17 (patch)
treed2cfc1db2e8a6d8625fd111fd805de445e809c6a
parent+ nog een bestand (diff)
fixes
-rw-r--r--defio.tex2
-rw-r--r--introcoms.tex4
2 files changed, 4 insertions, 2 deletions
diff --git a/defio.tex b/defio.tex
index 28fc732..3a591c5 100644
--- a/defio.tex
+++ b/defio.tex
@@ -9,7 +9,7 @@ van type $a$) is een simpel datatype met de volgende syntax:
\def\inbrackets#1{$\mathrm{[}#1\mathrm{]}$}
\def\bracka{\inbrackets{a}}
\begin{grammar}
- <Stack \bracka> ::= [<a>:<Stack \bracka>] | `Nil'
+ <Stack \bracka> ::= [<a>:<Stack \bracka>] | \Nil
\end{grammar}
Op een stack zijn twee instructies gedefinieerd:
diff --git a/introcoms.tex b/introcoms.tex
index 7295922..0aa01b0 100644
--- a/introcoms.tex
+++ b/introcoms.tex
@@ -23,7 +23,9 @@ elementen op de stack doet, worden die elementen altijd verwijderd.
Stuurt het bovenste element van de stack naar `de output'.
\item[\smurfinline{p} of $\StmPut$]
Hierbij word ervoor gezorgd dat de waarde van de variablenaam bovenop de
- stack verwijst naar de string die daaronder staat.
+ stack verwijst naar de string die daaronder staat.
+ \item[\smurfinline{g} of $\StmGet$]
+ Zoekt de variabele op met als naam de bovenste waarde van de stack en zet de waarde van die variabele bovenop de stack.
\item[\smurfinline{h} of $\StmHead$]
Zet het eerste karakter van de string bovenop de stack op de
stack.