X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=d725c61c39bbd7b78ed317ea7da93aa68f8d4bfb;hp=ffe628800386c5bae981c901f098f0c45508141f;hb=0d1c2b040688535bc3e54464b9ffc230dbbd08c6;hpb=957c10dcb822689bffd79fecf63236470dd7049d;ds=sidebyside diff --git a/content.mdwn b/content.mdwn index ffe62880..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 ## @@ -44,7 +44,7 @@ This discussion considers conjunction in a language that recognized presuppositi Basics of functional programming: `let`, `case`, pattern matching, and recursion. Definitions of factorial. * [[Advanced notes on functional programming|topics/week1 kapulet advanced]] -* [[Homework for week 1|exercises/assignment1]] +* [[Homework for week 1|exercises/assignment1]] ([[Answers|exercises/assignment1_answers]]) Week 2: @@ -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