alternate Y1,Y2 tweak

[lambda.git] / hints / assignment_4_hint_3_alternate_1.mdwn

diff --git a/hints/assignment_4_hint_3_alternate_1.mdwn b/hints/assignment_4_hint_3_alternate_1.mdwn
index dd55e05..900c6cb 100644 (file)
--- 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