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 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)
 
                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
 
        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