diff options
| author | Evi | 2016-05-27 15:13:13 +0200 |
|---|---|---|
| committer | Evi | 2016-05-27 15:13:13 +0200 |
| commit | 79911bcb1b4f6c094ba1f65ba0f91f9d2cd7b139 (patch) | |
| tree | 39673384a4bed71a2665af98d6638c0c1960a6f1 /introcoms.tex | |
| parent | makefile (diff) | |
sos
-
Diffstat (limited to 'introcoms.tex')
| -rw-r--r-- | introcoms.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/introcoms.tex b/introcoms.tex index 0aa01b0..31f2de0 100644 --- a/introcoms.tex +++ b/introcoms.tex @@ -5,6 +5,7 @@ We zullen nu kort op informele wijze de verschillende commando's in Smurf beschrijven. We geven telkens de notatie in Smurf syntax en een leesbaarder alternatief dat we hieronder zullen gebruiken. Wanneer een commando iets met elementen op de stack doet, worden die elementen altijd verwijderd. +Merk op dat de commando's niet exact hetzelfde zijn als in de voorbeeldprogramma's en de taalspecificatie; wij gebruiken een leesbaardere variant op de taal zodat het overzichtelijker is om eigenschappen ervan te bespreken. Alle commando's betekenen nog steeds hetzelfde. \begin{description}[style=nextline,font=\normalfont] \item[\smurfinline{"..."} of $\StmPush~\texttt{...}$] |