From 7d6763ec93cea8221eb68840d272a2cd2ec0e95c Mon Sep 17 00:00:00 2001 From: jim Date: Sat, 7 Feb 2015 17:28:27 -0500 Subject: [PATCH] encodings done --- content.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content.mdwn b/content.mdwn index f500b2b4..4f9ae9f1 100644 --- a/content.mdwn +++ b/content.mdwn @@ -25,7 +25,7 @@ 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]] (in progress); +* [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]]; * Homework for week 2 (in progress) -- 2.11.0