added Wordsworth
[lambda.git] / topics / week4_more_about_fixed_point_combinators.mdwn
index 7c4b4cb..3d4f50a 100644 (file)
@@ -386,7 +386,7 @@ that occurs starting on p. 162 and on several pages following corresponds to `h`
 
 They work their way towards the realization that they want an "infinite tower" of applications of `h`, except they don't really need an infinite tower, but rather just a finite tower whose height can't be bounded in advance. This is essentially the observation that they need a fixed point for `h`.
 
 
 They work their way towards the realization that they want an "infinite tower" of applications of `h`, except they don't really need an infinite tower, but rather just a finite tower whose height can't be bounded in advance. This is essentially the observation that they need a fixed point for `h`.
 
-The authors attempt to self-apply `h` on p. 165, just as we did. As we explained in [[our exposition|week4_fixed_point_combinators#defining-y]], though, that doesn't quite work.
+The authors attempt to self-apply `h` on p. 165, just as we did. As we explained in [[our exposition|week4_fixed_point_combinators#deriving-y]], though, that doesn't quite work.
 
 On the top of p. 167, the authors have instead moved to our `H`, and attempt to self-apply that, instead. And this works.
 
 
 On the top of p. 167, the authors have instead moved to our `H`, and attempt to self-apply that, instead. And this works.