X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek4_more_about_fixed_point_combinators.mdwn;h=3d4f50a45a3aab82a4ccfccf0e9dcb8af246edbe;hp=7c4b4cb1731da099b407fbdf3ae3a4ee31832cbf;hb=78224e38c4180c85570589e3c9fabfe1fde5365e;hpb=c70ea8653fd391ba094c8a64419f3532af2076ce
diff --git a/topics/week4_more_about_fixed_point_combinators.mdwn b/topics/week4_more_about_fixed_point_combinators.mdwn
index 7c4b4cb1..3d4f50a4 100644
--- a/topics/week4_more_about_fixed_point_combinators.mdwn
+++ b/topics/week4_more_about_fixed_point_combinators.mdwn
@@ -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`.
-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.