From bb7ef3b4fd0b9fce274039d1eb6edc7c28c97084 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 28 Apr 2016 15:58:48 +0200
Subject: Labda regel

---
 ruleslambda.tex | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 ruleslambda.tex

(limited to 'ruleslambda.tex')

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}
+$$
+
-- 
cgit v1.2.3

