From f6a37ea6bc534bc8f76e45c2cd2ec4f6dfe50871 Mon Sep 17 00:00:00 2001 From: jim Date: Fri, 20 Feb 2015 08:07:14 -0500 Subject: [PATCH] post main Y notes, stubs for others --- content.mdwn | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/content.mdwn b/content.mdwn index 21a4a077..45f8557f 100644 --- a/content.mdwn +++ b/content.mdwn @@ -36,6 +36,7 @@ week in which they were introduced. * [[How to get the `tail` of v1 lists?|topics/week3 lists#tails]] * [[Some other list encodings|topics/week3 lists#other-lists]] * Reduction Strategies and Normal Forms + * [[Fixed point combinators|topics/week4_fixed_point_combinators]] * [[Combinatory Logic|topics/week3 combinatory logic]] @@ -72,3 +73,10 @@ Introduces list comprehensions, discusses how to get the `tail` of lists in the * [[Unit and its usefulness|topics/week3 unit]] (posted on Wednesday) * [[Combinatory Logic|topics/week3 combinatory logic]] (revised on Monday and Tuesday) * [[Homework for week 3|exercises/assignment3]] + +Week 4: + +* [[Fixed point combinators|topics/week4_fixed_point_combinators]] +* More on fixed point combinators (in progress) +* Towards types (in progress) + -- 2.11.0