X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=topics%2Fweek4_fixed_point_combinators.mdwn;h=ed22cfff6225d1841de515a7e2821532aa29be39;hb=13d34ffc9870f957a786ba93b0e72ce5f47367d2;hp=a16d7c5962d74d236cadef5ff3344037ab58ffb0;hpb=12b94057358619fd5ae7a48f685fedba8ce4d082;p=lambda.git

diff --git a/topics/week4_fixed_point_combinators.mdwn b/topics/week4_fixed_point_combinators.mdwn
index a16d7c59..ed22cfff 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