X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=e067adba00f9aa3edbf360871a46033028568f71;hp=850046b866afb5a1e94d99d0c970444dbdf8cc53;hb=a4bcd37698083f16fbe6f956491a591d85e3a11d;hpb=772e7860eda413e17abaa68e1a8c42c24bb19e27 diff --git a/content.mdwn b/content.mdwn index 850046b8..e067adba 100644 --- a/content.mdwn +++ b/content.mdwn @@ -23,8 +23,8 @@ recursion. Definitions of factorial. Week 2: -* [[Intro to the Lambda Calculus|topics/ week2 lambda calculus intro]] -* [[Advanced notes on the Lambda Calculus|topics/ week2 lambda calculus fine points]] +* [[Intro 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) * Homework for week 2 (in progress)