From 154c7329a8777117debe1f3f8fa2096b5dc7468f Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 3 Oct 2010 15:41:04 -0400 Subject: [PATCH] week4 tweaking Signed-off-by: Jim Pryor --- week4.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/week4.mdwn b/week4.mdwn index 78e2d37e..4bddeaa6 100644 --- a/week4.mdwn +++ b/week4.mdwn @@ -119,7 +119,7 @@ fact 2 ~~> mul 2 ([prefact ((\x. prefact (x x)) (\x. prefact (x x)))] 1) ... ~~> mul 2 (mul 1 ([prefact ((\x. prefact (x x)) (\x. prefact (x x)))] 0)) -≡ mul 2 (mul 1 (iszero 0 1 ([prefact ((\x. prefact (x x)) (\x. prefact (x x)))] (pred 0)))) +≡ mul 2 (mul 1 (iszero 0 1 (mul 1 ([prefact ((\x. prefact (x x)) (\x. prefact (x x)))] (pred 0))))) ~~> mul 2 (mul 1 1) ~~> mul 2 1 ~~> 2 -- 2.11.0