From 0dd9b48d6a2e74d618a99a101f0122f4d7c076fb Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Thu, 30 Sep 2010 14:29:09 -0400 Subject: [PATCH] tweaked arithmetic Signed-off-by: Jim Pryor --- arithmetic.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/arithmetic.mdwn b/arithmetic.mdwn index cac56f20..d2724875 100644 --- a/arithmetic.mdwn +++ b/arithmetic.mdwn @@ -201,7 +201,7 @@ Here are a bunch of pre-tested operations for the untyped lambda calculus. In so ; Rosenbloom's fixed point combinator let Y = \f. (\h. f (h h)) (\h. f (h h)) in ; Turing's fixed point combinator - let Z = (\u f. f (u u f)) (\u f. f (u u f)) in + let Theta = (\u f. f (u u f)) (\u f. f (u u f)) in ; length for version 1 lists @@ -218,7 +218,7 @@ Here are a bunch of pre-tested operations for the untyped lambda calculus. In so - fact Z 3 ; returns 6 + fact Theta 3 ; returns 6