From 2dd584050f92ab313c395dc7bb915754d61605b4 Mon Sep 17 00:00:00 2001 From: jim Date: Fri, 20 Feb 2015 13:02:10 -0500 Subject: [PATCH] add anchor #deriving-y --- topics/week4_fixed_point_combinators.mdwn | 1 + 1 file changed, 1 insertion(+) 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. + ## Deriving Y, a fixed point combinator ## How shall we begin? Well, we need to find an argument to supply to -- 2.11.0