diff options
author | Camil Staps | 2016-04-29 09:56:12 +0200 |
---|---|---|
committer | Camil Staps | 2016-04-29 09:56:12 +0200 |
commit | 051c95d922a94a4125e10de02702ed4e787eb965 (patch) | |
tree | 9362936c2e01c3a1acbb31a7a83d7c21922127e4 /ruleslambda.tex | |
parent | Abstract (diff) |
Labels
Diffstat (limited to 'ruleslambda.tex')
-rw-r--r-- | ruleslambda.tex | 1 |
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 |