% 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
geen input, geeft geen output, en verandert de state niet.
\therlambdans%