From b3e605498edcd1ab89edd66846aae0ebcacc0b5e Mon Sep 17 00:00:00 2001 From: jim Date: Sat, 7 Feb 2015 10:00:34 -0500 Subject: [PATCH] Add index for week 2 --- content.mdwn | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/content.mdwn b/content.mdwn index c73d1b3c..c2957ecb 100644 --- a/content.mdwn +++ b/content.mdwn @@ -18,8 +18,18 @@ This discussion considers conjunction in a language that recognized presuppositi * [[Introduction to functional programming|topics/week1]] Basics of functional programming: `let`, `case`, pattern matching, and recursion. Definitions of factorial. -* [[Homework for week 1|exercises/assignment1]] * [[Advanced notes|topics/week1 advanced notes]] +* [[Homework for week 1|exercises/assignment1]] + +Week 2: + +* [[Intro to the Lambda Calculus|topics/ week2 lambda calculus intro]] +* [[Advanced notes on the Lambda Calculus|topics/ week2 lambda calculus advanced notes]] +* Encoding Booleans, Tuples, Lists, and Numbers (in progress) +* Homework for week 2 (in progress) + + + *More coming, please wait...* -- 2.11.0