X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=cabcc71b842f83f75665fe4e9fc89268566eb838;hp=4f9ae9f1798351e161340969f0f4355f8c5e4d24;hb=0a1f912a433bdbcc699a72cbca5e2e60965eacd1;hpb=7d6763ec93cea8221eb68840d272a2cd2ec0e95c diff --git a/content.mdwn b/content.mdwn index 4f9ae9f1..cabcc71b 100644 --- a/content.mdwn +++ b/content.mdwn @@ -26,8 +26,14 @@ Week 2: * [[Introduction to the Lambda Calculus|topics/week2 lambda intro]] * [[Advanced notes on the Lambda Calculus|topics/week2 lambda advanced]] * [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]]; -* Homework for week 2 (in progress) +* [[Homework for week 2|exercises/assignment2]] +Week 3: + +* More on Lists +Introduces list comprehensions, shows how to encode `tail` in the Lambda Calculus +* Combinatorial Logic +* Homework for week 3