summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--rulesexec.tex1
-rw-r--r--rulesget.tex1
-rw-r--r--ruleshead.tex1
-rw-r--r--rulesinput.tex1
-rw-r--r--ruleslambda.tex1
-rw-r--r--rulesput.tex1
6 files changed, 6 insertions, 0 deletions
diff --git a/rulesexec.tex b/rulesexec.tex
index 3c70599..2bee211 100644
--- a/rulesexec.tex
+++ b/rulesexec.tex
@@ -1,5 +1,6 @@
% vim: set spelllang=nl:
\subsection{\texttt{Exec}}
+\label{sec:rules:exec}
\begin{quote}
x - Executes the string at the top of the stack as a Smurf program. The stack
diff --git a/rulesget.tex b/rulesget.tex
index 6068194..bc38d5b 100644
--- a/rulesget.tex
+++ b/rulesget.tex
@@ -1,5 +1,6 @@
% vim: set spelllang=nl:
\subsection{\texttt{Get}}
+\label{sec:rules:exec}
\begin{quote}
g - Pops a variable name from the stack, and pushes the value of the
diff --git a/ruleshead.tex b/ruleshead.tex
index 70d15ab..ce321db 100644
--- a/ruleshead.tex
+++ b/ruleshead.tex
@@ -1,5 +1,6 @@
% vim: set spelllang=nl:
\subsection{\texttt{Head}}
+\label{sec:rules:head}
\begin{quote}
h - Pops a string from the stack, and pushes its head, ie the first
diff --git a/rulesinput.tex b/rulesinput.tex
index d8b68ea..e9dd23f 100644
--- a/rulesinput.tex
+++ b/rulesinput.tex
@@ -1,5 +1,6 @@
% vim: set spelllang=nl:
\subsection{\texttt{Input}}
+\label{sec:rules:input}
\begin{quote}
i - takes a string from user input, and places it on the stack.
diff --git a/ruleslambda.tex b/ruleslambda.tex
index 3556610..5612872 100644
--- a/ruleslambda.tex
+++ b/ruleslambda.tex
@@ -1,5 +1,6 @@
% vim: set spelllang=nl:
\subsection{$\lambda$}
+\label{sec:rules:lambda}
We hebben één axioma nodig om het basisgeval van het lege programma af te
handelen. Deze regel geeft aan dat het lege programma niets doet: het gebruikt
diff --git a/rulesput.tex b/rulesput.tex
index 1691a5b..959fec8 100644
--- a/rulesput.tex
+++ b/rulesput.tex
@@ -1,5 +1,6 @@
% vim: set spelllang=nl:
\subsection{\texttt{Put}}
+\label{sec:rules:put}
\begin{quote}
p - Pops a variable name from the stack, pops a value from the stack, and