From: chris Date: Sun, 22 Feb 2015 14:54:37 +0000 (-0500) Subject: (no commit message) X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=3434907c52616d84d7a83cfe2c7348e936442f24 --- diff --git a/topics/week4_more_about_fixed_point_combinators.mdwn b/topics/week4_more_about_fixed_point_combinators.mdwn index 17d8eaba..51d8b884 100644 --- a/topics/week4_more_about_fixed_point_combinators.mdwn +++ b/topics/week4_more_about_fixed_point_combinators.mdwn @@ -311,8 +311,7 @@ so `A 4 x` is to `A 3 x` as hyper-exponentiation is to exponentiation... according to what ordering? How do you know it's least? Is leastness important? -## Q: I still don't fully understand the Y combinator. Can you - explain it in a different way? +## Q: I still don't fully understand the Y combinator. Can you explain it in a different way? Sure! Here is another way to derive Y. We'll start by choosing a specific goal, and at each decision point, we'll make a reasonable