From: jim Date: Sat, 7 Feb 2015 15:00:34 +0000 (-0500) Subject: Add index for week 2 X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=b3e605498edcd1ab89edd66846aae0ebcacc0b5e;ds=sidebyside Add index for week 2 --- 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...*