From 24c094435acdb248669bf9370c1e7ea3f584fef5 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 16 May 2018 14:15:16 +0200
Subject: [PATCH] complete preable

---
 main.c   | 2 +-
 preamble | 7 ++++++-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/main.c b/main.c
index 1c0be0f..f4a2296 100644
--- a/main.c
+++ b/main.c
@@ -12,7 +12,7 @@ extern struct lambda *result;
 int main()
 {
 	int r = yyparse();
-	int maxdepth = 1000;
+	int maxdepth = 100;
 	if(r == 0){
 		printf("   ");
 		lambda_print(result);
diff --git a/preamble b/preamble
index 05ea3ca..8eda655 100644
--- a/preamble
+++ b/preamble
@@ -1,4 +1,9 @@
 I=\x.x;
 K=\x y.x;
 S=\x y z.x y(x z);
-O=(\x.x x)(\x.x x);
+B=\x y z.x (y z);
+C=\x y z.x z y;
+W=\x y.x y y;
+SOMEGA=\x.x x;
+OMEGA=SOMEGA SOMEGA;
+Y=\g.(\x.g (x x))(\x.g (x x));
-- 
2.20.1