X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=cabcc71b842f83f75665fe4e9fc89268566eb838;hp=6d838bcd6eeff02960e8a46c3550adb60033cb22;hb=0a1f912a433bdbcc699a72cbca5e2e60965eacd1;hpb=2bda9e3ab62903dba7cf53767dd73248809f1c71 diff --git a/content.mdwn b/content.mdwn index 6d838bcd..cabcc71b 100644 --- a/content.mdwn +++ b/content.mdwn @@ -28,6 +28,12 @@ Week 2: * [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]]; * [[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