Labda regel

1 files changed, 1 insertions, 0 deletions

diff --git a/rules.tex b/rules.tex
index b6acb25..d17c1d6 100644
--- a/rules.tex
+++ b/rules.tex
@@ -12,6 +12,7 @@ afleidingsboom te maken (in tegenstelling tot bijvoorbeeld een errorstatus aan
 de rechterkant van transities toe te voegen), omdat dit het redeneren over
 Smurfprogramma's makkelijker zal maken.
 
+\input{ruleslambda}
 %\input{rulespush}
 \input{ruleshead}
 %\input{rulestail}