repositories
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
300960d
)
complete preable
author
Mart Lubbers
<mart@martlubbers.net>
Wed, 16 May 2018 12:15:16 +0000
(14:15 +0200)
committer
Mart Lubbers
<mart@martlubbers.net>
Wed, 16 May 2018 12:15:16 +0000
(14:15 +0200)
main.c
patch
|
blob
|
history
preamble
patch
|
blob
|
history
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 = 100
0
;
+ int maxdepth = 100;
if(r == 0){
printf(" ");
lambda_print(result);
diff --git
a/preamble
b/preamble
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));