From bfac15d333d08342ae36fdbe3b55f134b49e22bb Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 16 Jun 2016 23:42:51 +0200
Subject: Layout, tekstueel

---
 introcoms.tex | 27 ++++++++++++++-------------
 1 file changed, 14 insertions(+), 13 deletions(-)

(limited to 'introcoms.tex')

diff --git a/introcoms.tex b/introcoms.tex
index 638a11e..090e2af 100644
--- a/introcoms.tex
+++ b/introcoms.tex
@@ -3,26 +3,27 @@
 \label{sec:intro:commands}
 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. We gebruiken een leesbaardere
-variant op de taal zodat het overzichtelijker is om eigenschappen ervan te
-bespreken. Alle commando's betekenen nog steeds hetzelfde.
+alternatief dat we in de rest van dit werkstuk zullen gebruiken. De commando's
+zijn dus niet exact hetzelfde als in de voorbeeldprogramma's en de specificatie
+van de taal~\cite{safalra}. Met onze leesbaardere variant is het makkelijker om
+over de taal te redeneren.
+
+Voor ieder commando geldt dat wanneer het elementen op de stack gebruikt, die
+elementen worden verwijderd.
 
 \begin{description}[style=nextline,font=\normalfont]
-	\item[\smurfinline{"..."} of $\StmPush~\texttt{...}$]
-		waarbij `\texttt{...}' een string is. Zet de string \texttt{...} op de
-		stack.
+	\item[\smurfinline{"..."} of $\StmPush~\texttt{...}$, waar \lit{...} een
+		string is]
+		Zet de string \lit{...} op de stack.
 	\item[\smurfinline{+} of $\StmCat$]
 		Concateneert de bovenste twee strings (laagste eerst) op de stack en zet
 		het resultaat op de stack.
 	\item[\smurfinline{i} of $\StmInput$]
 		Plaatst een string van `user input' op de stack. Hierbij wordt
-		\texttt{\textbackslash} gebruikt om LF-karakters, dubbele aanhalingstekens
-		en backslashes te escapen. Het is ook mogelijk LF-karakters in de string te
-		gebruiken. Afhankelijk van de inputmethode is dit al dan niet mogelijk ---
-		in deze specificatie abstraheren we van inputmethodes.
+		\lit{\textbackslash} gebruikt om LF-karakters, dubbele aanhalingstekens en
+		backslashes te escapen. Afhankelijk van de inputmethode kan het ook
+		mogelijk zijn dat LF-karakters in de string voorkomen. In deze specificatie
+		abstraheren we van inputmethodes.
 	\item[\smurfinline{o} of $\StmOutput$]
 		Stuurt het bovenste element van de stack naar `de output'.
 	\item[\smurfinline{p} of $\StmPut$]
-- 
cgit v1.2.3