add #primed
authorjim <jim@web>
Mon, 23 Mar 2015 23:50:22 +0000 (19:50 -0400)
committerLinux User <ikiwiki@localhost.members.linode.com>
Mon, 23 Mar 2015 23:50:22 +0000 (19:50 -0400)
topics/week4_fixed_point_combinators.mdwn

index 20c2974..a8d1a74 100644 (file)
@@ -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.)
 
 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))
 Two of the simplest:
 
     Θ′ ≡ (\u h. h (\n. u u h n)) (\u h. h (\n. u u h n))