From 3599cdb8bcf88679cb40f89ce56b70e8b1683d17 Mon Sep 17 00:00:00 2001 From: W-M-T Date: Wed, 25 May 2016 17:49:53 +0200 Subject: fixes --- defio.tex | 2 +- introcoms.tex | 4 +++- 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} - ::= [:] | `Nil' + ::= [:] | \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. -- cgit v1.2.3