diff options
| author | Camil Staps | 2016-04-28 15:58:48 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-04-28 15:58:48 +0200 |
| commit | bb7ef3b4fd0b9fce274039d1eb6edc7c28c97084 (patch) | |
| tree | 41d18e0a8b8862d8ec1ae16f399b651211b97d90 /ruleslambda.tex | |
| parent | Fix Get regel (diff) | |
Labda regel
Diffstat (limited to 'ruleslambda.tex')
| -rw-r--r-- | ruleslambda.tex | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/ruleslambda.tex b/ruleslambda.tex new file mode 100644 index 0000000..3556610 --- /dev/null +++ b/ruleslambda.tex @@ -0,0 +1,17 @@ +% vim: set spelllang=nl: +\subsection{$\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} +$$ + |