use debruijn indexing

[lambda.git] / preamble

diff --git a/preamble b/preamble
index cdc65b0..0ce77eb 100644 (file)
--- a/preamble
+++ b/preamble
@@ -8,7 +8,7 @@ SOMEGA x = x x;
 OMEGA    = SOMEGA SOMEGA;
 Y g      = (\x.g (x x))(\x.g (x x));
 
-ZERO f !x  = x;
+ZERO f x  = x;
 SUCC n f x = f (n f x);
 PLUS m n   = m SUCC n;
 MULT m n   = m (PLUS n) 0;