blob: 5612872767a45c73e0d77efb5622f92b23f5c49f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
% 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.
$$
\begin{prooftree}
\axjustifies
\trans
{\lambda}{\ip}{\st}
{\ip}{\Nil}{\st}
\using{\rlambdans}
\end{prooftree}
$$
|
