X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek4_fixed_point_combinators.mdwn;h=9c32b04ed8864c1b76cb5762fc2a086debee04a7;hp=74b32bebda58fa4aa61204b46525c80d736c2fa3;hb=120431d951d97e47c6b80f91f41e2c352c073703;hpb=0f8d7ba70113fa833fe275b47b11e7527205eed8

diff --git a/topics/week4_fixed_point_combinators.mdwn b/topics/week4_fixed_point_combinators.mdwn
index 74b32beb..9c32b04e 100644
--- a/topics/week4_fixed_point_combinators.mdwn
+++ b/topics/week4_fixed_point_combinators.mdwn
@@ -269,6 +269,7 @@ it's not complete, since we don't know what value to use for the
 symbol `LENGTH`.  Technically, it has the status of an unbound
 variable.
 
+<a id=little-h></a>
 Imagine now binding the mysterious variable, and calling the resulting
 term `h`:
 
@@ -540,7 +541,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: