From: Jim Pryor <profjim@jimpryor.net>
Date: Sat, 16 Oct 2010 18:14:48 +0000 (-0400)
Subject: alternate Y1,Y2 tweak
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=f4c96076c1abbdf13bfb90d7e5b56ebe80dd7de7

alternate Y1,Y2 tweak

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

diff --git a/hints/assignment_4_hint_3_alternate_1.mdwn b/hints/assignment_4_hint_3_alternate_1.mdwn
index dd55e052..900c6cb1 100644
--- a/hints/assignment_4_hint_3_alternate_1.mdwn
+++ b/hints/assignment_4_hint_3_alternate_1.mdwn
@@ -13,11 +13,13 @@ Alternate strategy for Y1, Y2
 
 		let rec u g x = (let f = u g in A)
 		in let rec g y = (let f = u g in B)
-		in let f = u g in C
+		in let f = u g in
+		C
 
 	or, expanded into the form we've been working with:
 
 		let u = Y (\u g x. (\f. A) (u g)) in
 		let g = Y (\g y. (\f. B) (u g)) in
-		let f = u g
+		let f = u g in
+		C