complete preable
authorMart Lubbers <mart@martlubbers.net>
Wed, 16 May 2018 12:15:16 +0000 (14:15 +0200)
committerMart Lubbers <mart@martlubbers.net>
Wed, 16 May 2018 12:15:16 +0000 (14:15 +0200)
main.c
preamble

diff --git a/main.c b/main.c
index 1c0be0f..f4a2296 100644 (file)
--- 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);
index 05ea3ca..8eda655 100644 (file)
--- 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));