From: jim Date: Mon, 9 Feb 2015 01:01:02 +0000 (-0500) Subject: add stubs X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=0a1f912a433bdbcc699a72cbca5e2e60965eacd1;hp=f955018e07243c0a7945156c4ac5c082702974f8 add stubs --- 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