diff options
-rw-r--r-- | rulesexec.tex | 1 | ||||
-rw-r--r-- | rulesget.tex | 1 | ||||
-rw-r--r-- | ruleshead.tex | 1 | ||||
-rw-r--r-- | rulesinput.tex | 1 | ||||
-rw-r--r-- | ruleslambda.tex | 1 | ||||
-rw-r--r-- | rulesput.tex | 1 |
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 |