summaryrefslogtreecommitdiff
path: root/ruleslambda.tex
diff options
context:
space:
mode:
authorCamil Staps2016-04-29 09:56:12 +0200
committerCamil Staps2016-04-29 09:56:12 +0200
commit051c95d922a94a4125e10de02702ed4e787eb965 (patch)
tree9362936c2e01c3a1acbb31a7a83d7c21922127e4 /ruleslambda.tex
parentAbstract (diff)
Labels
Diffstat (limited to 'ruleslambda.tex')
-rw-r--r--ruleslambda.tex1
1 files changed, 1 insertions, 0 deletions
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