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=1ed99d2772714a37401cb03168bc651241b858c0;hp=b20212d6148776fc9d191d55b835e55d82676ead;hb=2dd584050f92ab313c395dc7bb915754d61605b4;hpb=18249c1fe8e2c49440f26029b2a8e1416f9a15ed

diff --git a/topics/week4_fixed_point_combinators.mdwn b/topics/week4_fixed_point_combinators.mdwn
index b20212d6..1ed99d27 100644
--- a/topics/week4_fixed_point_combinators.mdwn
+++ b/topics/week4_fixed_point_combinators.mdwn
@@ -293,6 +293,7 @@ The strategy we will present will turn out to be a general way of
 finding a fixed point for any lambda term.
 
 
+<a id=deriving-y></a>
 ## Deriving Y, a fixed point combinator ##
 
 How shall we begin?  Well, we need to find an argument to supply to