mirror of
https://github.com/lisk77/lambda.git
synced 2025-10-24 02:08:49 +00:00
9 lines
158 B
Text
9 lines
158 B
Text
true = \ x y . x;
|
|
false = \ x y . y;
|
|
|
|
not = \ p . p false true;
|
|
and = \ p q . p q p;
|
|
or = \ p q . p p q;
|
|
xor = \ p q . p ( not q ) q;
|
|
|
|
main = and true false;
|