X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2F_assignment4.mdwn;fp=exercises%2F_assignment4.mdwn;h=1442faf268ae481c910ffff00a42cb6ebeee699c;hp=fa9d7c445f668675131e17b1f46818324af5d582;hb=195a9d25381256c95c991b6ff71867e076501a27;hpb=2e29b34f4aaeb85ead4685541bd52557ef4297e2 diff --git a/exercises/_assignment4.mdwn b/exercises/_assignment4.mdwn index fa9d7c44..1442faf2 100644 --- a/exercises/_assignment4.mdwn +++ b/exercises/_assignment4.mdwn @@ -178,4 +178,4 @@ definitions of `even?` and `odd?`? 11. (More challenging.) Using our derivation of `Y` from [[this week's notes|topics/week4_fixed_point_combinators#deriving-y]] as a model, construct a pair `Y1` and `Y2` that behave in the way described above. - Here is one hint to get you started: remember that in the notes, we constructed a fixed point for `h` by evolving it into `H` and using `H H` as `h`'s fixed point. We suggested the thought exercise, how might you instead evolve `h` into some `T` and then use `T T T` as `h`'s fixed point. Try solving this problem first. It may help give you the insights you need to define a `Y1` and `Y2`. + Here is one hint to get you started: remember that in the notes, we constructed a fixed point for `h` by evolving it into `H` and using `H H` as `h`'s fixed point. We suggested the thought exercise, how might you instead evolve `h` into some `T` and then use `T T T` as `h`'s fixed point. Try solving this problem first. It may help give you the insights you need to define a `Y1` and `Y2`. [[Here are some hints|assignment4_hint]].