X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=e2af0ee8b3d0e78f75abb1b7bacbdd39f36baae6;hp=cabcc71b842f83f75665fe4e9fc89268566eb838;hb=314d7e66ffee78885d37356752fb468c7600a7a7;hpb=0a1f912a433bdbcc699a72cbca5e2e60965eacd1 diff --git a/content.mdwn b/content.mdwn index cabcc71b..e2af0ee8 100644 --- a/content.mdwn +++ b/content.mdwn @@ -9,6 +9,14 @@ week in which they were introduced. * [[Order: static versus dynamic|topics/week1 order]] + * [[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: