X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=cabcc71b842f83f75665fe4e9fc89268566eb838;hp=e4e81495f53bbcd44acd741b5e93fb3c0a3e6385;hb=0a1f912a433bdbcc699a72cbca5e2e60965eacd1;hpb=7cc39c68d74503b3ea9d143ebe9acf21ff425042 diff --git a/content.mdwn b/content.mdwn index e4e81495..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|exercises/assignment2]] +* [[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