From 1fe94c24d5ed96e3c25a706882ecbc4e40b542e9 Mon Sep 17 00:00:00 2001 From: jim Date: Fri, 20 Feb 2015 08:05:11 -0500 Subject: [PATCH] post main Y notes --- index.mdwn | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/index.mdwn b/index.mdwn index 6a3c3f23..73f77f2d 100644 --- a/index.mdwn +++ b/index.mdwn @@ -121,7 +121,8 @@ Reduction Strategies and Normal Forms (in progress); (**Week 4**) Thursday 19 February 2015 > Topics: [[!img images/tabletop_roleplaying.png size="240x240" alt="Hey, no recursing"]] -Yes, recursing (in progress); +[[Yes, recursing|topics/week4_fixed_point_combinators]]; +More on fixed point combinators (in progress); Towards types (in progress) > Now you can read Sections 3.1 and 6.1 of Hankin; and browse the rest of Hankin Chapter 6, which should look somewhat familiar. -- 2.11.0