From: Chris Date: Thu, 12 Feb 2015 03:48:35 +0000 (-0500) Subject: merged in new exercises for week 3 X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=a197bd74076e29d014d10dcf1040cf8aea455914;hp=14afd28fe72ee04e9accb957cd42686479dc38bb merged in new exercises for week 3 --- diff --git a/content.mdwn b/content.mdwn index 52945505..d725c61c 100644 --- a/content.mdwn +++ b/content.mdwn @@ -31,7 +31,7 @@ week in which they were introduced. * Reduction Strategies and Normal Forms -* Combinatorial Logic +* [[Combinatory Logic|topics/week3 combinatory logic]] ## Topics by week ## @@ -57,7 +57,7 @@ Week 3: * More on Lists Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus -* Combinatorial Logic +* [[Combinatorial Logic|topics/week3 combinatory logic]] * Reduction Strategies and Normal Forms * Homework for week 3