diff options
| author | Camil Staps | 2016-05-27 16:28:48 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-05-27 16:28:48 +0200 |
| commit | 1c8d0d5f4655e97e7017a33c520b607a6e26b816 (patch) | |
| tree | 932051305734219bb11e20de103541224828701d /introcoms.tex | |
| parent | sos (diff) | |
Tekstueel
Diffstat (limited to 'introcoms.tex')
| -rw-r--r-- | introcoms.tex | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/introcoms.tex b/introcoms.tex index 31f2de0..d12f14a 100644 --- a/introcoms.tex +++ b/introcoms.tex @@ -5,7 +5,10 @@ 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. +Merk op dat de commando's niet exact hetzelfde zijn als in de +voorbeeldprogramma's en de taalspecificatie. We 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{...}$] |