From: Jim Pryor <profjim@jimpryor.net>
Date: Sun, 3 Oct 2010 19:41:04 +0000 (-0400)
Subject: week4 tweaking
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=154c7329a8777117debe1f3f8fa2096b5dc7468f;hp=fbd9eedd63bd8bd3bede53ed6c5f4dbef896d815

week4 tweaking

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

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))
-&equiv; mul 2 (mul 1 (iszero 0 1 ([prefact ((\x. prefact (x x)) (\x. prefact (x x)))] (pred 0))))
+&equiv; 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