From dd4aafee54215380b06b56fc64304fe13e093de5 Mon Sep 17 00:00:00 2001
From: jim
Date: Mon, 23 Feb 2015 01:42:24 -0500
Subject: [PATCH] fix link
---
topics/week4_more_about_fixed_point_combinators.mdwn | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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.
--
2.11.0