X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=322615c50244941119a54f50373ba0ab08e56b85;hp=cabcc71b842f83f75665fe4e9fc89268566eb838;hb=f6f07df0e34fa108554f0549268a0a00736a140f;hpb=0a1f912a433bdbcc699a72cbca5e2e60965eacd1 diff --git a/content.mdwn b/content.mdwn index cabcc71b..322615c5 100644 --- a/content.mdwn +++ b/content.mdwn @@ -9,6 +9,16 @@ week in which they were introduced. * [[Order: static versus dynamic|topics/week1 order]] +* The Lambda Calculus + + * [[Intro to the Lambda Calculus|topics/week2 lambda intro]] + + * [[Advanced notes on the Lambda Calculus|topics/week2 lambda advanced]] + + * Encoding data types in the Lambda Calculus + + * [[Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]] + ## Topics by week ## Week 1: