<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% 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%
</pre></body></html>