From 16c7647c8941171e74da3e6e05d6154752fca013 Mon Sep 17 00:00:00 2001
From: Evi
Date: Fri, 29 Apr 2016 15:06:26 +0200
Subject: template cat quotify, first version push

---
 rulescat.tex     | 15 +++++++++++++++
 rulespush.tex    | 28 ++++++++++++++++++++++++++++
 rulesquotify.tex | 17 +++++++++++++++++
 3 files changed, 60 insertions(+)
 create mode 100644 rulescat.tex
 create mode 100644 rulespush.tex
 create mode 100644 rulesquotify.tex

diff --git a/rulescat.tex b/rulescat.tex
new file mode 100644
index 0000000..d05e0e5
--- /dev/null
+++ b/rulescat.tex
@@ -0,0 +1,15 @@
+% vim: set spelllang=nl:
+\subsection{\texttt{Cat}}
+\label{sec:rules:cat}
+
+\begin{quote}
+    + - concatenates the top two strings on the stack. The string pushed earlier
+    appears earlier in the resulting string, eg
+    "Zork" "mid" +
+    would result in the string "Zorkmid" being placed on the stack.
+\end{quote}
+
+De twee strings die als laatste op de stack zijn gezet worden dus samen gevoegd en terug op de stack gezet.  
+
+Dit geeft de volgende regel:
+
diff --git a/rulespush.tex b/rulespush.tex
new file mode 100644
index 0000000..3362b50
--- /dev/null
+++ b/rulespush.tex
@@ -0,0 +1,28 @@
+% vim: set spelllang=nl:
+\subsection{\texttt{Push}}
+\label{sec:rules:push}
+
+\begin{quote}
+	"text" - Places the string on top of the stack (without the quotes). The string
+    may include the following escape sequences: newline, the " - character and the $\backslash$ - character
+\end{quote}
+
+De string tussen de quotes word op de stack gezet. Eerst word er nog gecontroleerd op newlines, "-characters en $\backslash$ characters. Dit gaat doormiddel van de hulpfunctie unescape. 
+
+Dit geeft de volgende regel:
+
+$$
+\begin{prooftree}
+	\trans
+		{\pgm}{\ip}{(\push(\unescape(String)\stk), \str)}
+		{\ip}{\op}{\st}
+	\justifies
+	\trans
+		{\StmPush<String>:\pgm}{\ip}{(\stk,\str)}
+		{\ip}{\op}{\st}
+	\using{\rpushns}
+	\qquad
+\end{prooftree}
+$$
+
+ 
diff --git a/rulesquotify.tex b/rulesquotify.tex
new file mode 100644
index 0000000..50acc22
--- /dev/null
+++ b/rulesquotify.tex
@@ -0,0 +1,17 @@
+% vim: set spelllang=nl:
+\subsection{\texttt{Quotify}}
+\label{sec:rules:quotify}
+
+\begin{quote}
+q - "Quotifies" the string on top of the stack,      so that it can be placed
+    into a Smurf program as a literal string, eg
+    Arthur "two-sheds" Jackson
+    becomes
+    "Arthur $\backslash$ "two-sheds $\backslash$ " Jackson"
+\end{quote}
+
+
+Er worden dus quotes om de string heen gezet. Als er in de oorspronkelijke string quotes stonden dan wordt voor iedere van deze quotes een "$\backslash$" geplaats. 
+
+Dit geeft de volgende regel:
+
-- 
cgit v1.2.3