From 0a1f912a433bdbcc699a72cbca5e2e60965eacd1 Mon Sep 17 00:00:00 2001 From: jim Date: Sun, 8 Feb 2015 20:01:02 -0500 Subject: [PATCH 1/1] add stubs --- content.mdwn | 6 ++++++ 1 file changed, 6 insertions(+) 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 -- 2.11.0