X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek4_fixed_point_combinators.mdwn;fp=topics%2Fweek4_fixed_point_combinators.mdwn;h=3ac5db349a2d2cfb5ab9b439a99be748ef5db836;hp=74b32bebda58fa4aa61204b46525c80d736c2fa3;hb=d0a881712576b267e3d1d4451b71cefca025890e;hpb=624df0618dbeb10a7b37e3dc9eb5c3f494650b03 diff --git a/topics/week4_fixed_point_combinators.mdwn b/topics/week4_fixed_point_combinators.mdwn index 74b32beb..3ac5db34 100644 --- a/topics/week4_fixed_point_combinators.mdwn +++ b/topics/week4_fixed_point_combinators.mdwn @@ -540,7 +540,7 @@ where `BODY` is equivalent to the very formula `\n. BODY n` that contains it. So BODY M <~~> ... -You've written an infinite loop! +You've written an infinite loop! (This is like the function `eternity` in Chapter 9 of *The Little Schemer*.) However, when we evaluate the application of our: