From f4c96076c1abbdf13bfb90d7e5b56ebe80dd7de7 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sat, 16 Oct 2010 14:14:48 -0400 Subject: [PATCH] alternate Y1,Y2 tweak Signed-off-by: Jim Pryor --- hints/assignment_4_hint_3_alternate_1.mdwn | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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 -- 2.11.0