From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 16 May 2018 12:15:16 +0000 (+0200)
Subject: complete preable
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=24c094435acdb248669bf9370c1e7ea3f584fef5;p=lambda.git

complete preable
---

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));