X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=5d8dbb110a9b759c99aa7b5b609d54881ef03476;hp=6778ac8e81e8ec7d75bd472a8c3c43072fa007ad;hb=9d1d3d7d480c1c808a7a9fddf39f95037196d506;hpb=af057cd22e9ed75048caa92cb62a3a0143c9b013 diff --git a/content.mdwn b/content.mdwn index 6778ac8e..5d8dbb11 100644 --- a/content.mdwn +++ b/content.mdwn @@ -82,8 +82,6 @@ Week 2: Week 3: -*These notes were developed over the course of the week. It'd be a good idea to review them again now, to be sure you've read all the content.* - * [[Arithmetic with Church numbers|topics/week3_church_arithmetic]] * [[More on Lists|topics/week3 lists]] Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus, and some new list encodings @@ -98,7 +96,7 @@ Week 4: * [[Fixed point combinators|topics/week4_fixed_point_combinators]] * [[More about fixed point combinators|topics/week4_more_about_fixed_point_combinators]] * Towards types (in progress) -* [[Homework for week 4|exercises/assignment4]] (Answers will be posted soon) +* [[Homework for week 4|exercises/assignment4]] ([[Answers|exercises/assignment4_answers]]) Week 5: