From: jim <jim@web>
Date: Mon, 23 Mar 2015 23:50:22 +0000 (-0400)
Subject: add #primed
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=579d2f1e8dcf2485a09c6a318f0017c0e577963b

add #primed
---

diff --git a/topics/week4_fixed_point_combinators.mdwn b/topics/week4_fixed_point_combinators.mdwn
index 20c29748..a8d1a749 100644
--- a/topics/week4_fixed_point_combinators.mdwn
+++ b/topics/week4_fixed_point_combinators.mdwn
@@ -519,6 +519,7 @@ Many fixed-point combinators have been discovered. (And as we've seen, some
 fixed-point combinators give us models for building infinitely many
 more, non-equivalent fixed-point combinators.)
 
+<a id=primed></a>
 Two of the simplest:
 
     Θ′ ≡ (\u h. h (\n. u u h n)) (\u h. h (\n. u u h n))