diff options
author | Camil Staps | 2016-06-12 16:27:22 +0200 |
---|---|---|
committer | Camil Staps | 2016-06-12 16:27:22 +0200 |
commit | 1faf953f857704cd2ac0acb98d99a7a99e37ba5e (patch) | |
tree | 93ffaccde9c3734c6f3b02fc1acc51c43d5101d7 /ruleslambda.tex | |
parent | Turned explanation into list (diff) |
Appendix met regels
Diffstat (limited to 'ruleslambda.tex')
-rw-r--r-- | ruleslambda.tex | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/ruleslambda.tex b/ruleslambda.tex index 5612872..161fa2b 100644 --- a/ruleslambda.tex +++ b/ruleslambda.tex @@ -5,14 +5,4 @@ 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} -$$ - +\therlambdans% |