summaryrefslogtreecommitdiff
path: root/ruleslambda.tex
diff options
context:
space:
mode:
authorCamil Staps2016-06-12 16:27:22 +0200
committerCamil Staps2016-06-12 16:27:22 +0200
commit1faf953f857704cd2ac0acb98d99a7a99e37ba5e (patch)
tree93ffaccde9c3734c6f3b02fc1acc51c43d5101d7 /ruleslambda.tex
parentTurned explanation into list (diff)
Appendix met regels
Diffstat (limited to 'ruleslambda.tex')
-rw-r--r--ruleslambda.tex12
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%