reduce rules arithmetics in preamble

[lambda.git] / preamble

diff --git a/preamble b/preamble
index 8eda655..2861a88 100644 (file)
--- a/preamble
+++ b/preamble
@@ -7,3 +7,7 @@ W=\x y.x y y;
 SOMEGA=\x.x x;
 OMEGA=SOMEGA SOMEGA;
 Y=\g.(\x.g (x x))(\x.g (x x));
+ZERO=\f x.x;
+SUCC=\n f x.f(n f x);
+PLUS=\m n.m SUCC n;
+MULT=\m n f x.m(n f)x;