X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2Fassignment3_hint2.mdwn;h=9821f057b7b76fa532ad3c183143903cda609db0;hp=e0f3936f422e189229f31a2b05a2b2fa88791f68;hb=629e27a98dad2c0c1bb4dbcc246c2d03693ef7c6;hpb=dfc16089528c1aa240b949f5611bdb6e37e0565f diff --git a/exercises/assignment3_hint2.mdwn b/exercises/assignment3_hint2.mdwn index e0f3936f..9821f057 100644 --- a/exercises/assignment3_hint2.mdwn +++ b/exercises/assignment3_hint2.mdwn @@ -19,7 +19,7 @@ That's what `m a` should be, so `m` should be `\a. \n b. n a`. And if we check: `(\n b. n a) (\a. \n b. n a) b ~~>` `(\b. (\a. \n b. n a) a) b ~~>` `(\b. (\n b. n a)) b ~~>` -`(\n b. n a)` <~~> +`(\n b. n a) <~~>` `m a` Looks good. So `f` needs to be a function that accepts an argument `w` (after the first stage, this will be `m a`), and an argument `b`, and applies `w` to `m` and to `b`. In other words, `f` should be: