X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_4_hint_3_alternate_1.mdwn;fp=hints%2Fassignment_4_hint_3_alternate_1.mdwn;h=900c6cb16327ad8ac03ca0cf4b4ce645e21a154b;hp=dd55e052ec797db0bb714575a94133c76cf5a304;hb=f4c96076c1abbdf13bfb90d7e5b56ebe80dd7de7;hpb=1f4f3108441cfd887eb5c9e6ee53a651a80166ea

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