push encodings (unfinished)

[lambda.git] / content.mdwn

diff --git a/content.mdwn b/content.mdwn
index ff03e69..f500b2b 100644 (file)
--- 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]]
 
 * [[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 (in progress)
+* [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]] (in progress);

 * Homework for week 2 (in progress)
 
 
 * Homework for week 2 (in progress)