Merge branch 'working'

[lambda.git] / topics / week4_fixed_point_combinators.mdwn

diff --git a/topics/week4_fixed_point_combinators.mdwn b/topics/week4_fixed_point_combinators.mdwn
index a16d7c5..ed22cff 100644 (file)
--- 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.
 
 
 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
 ## Deriving Y, a fixed point combinator ##
 
 How shall we begin?  Well, we need to find an argument to supply to