X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=content.mdwn;h=e067adba00f9aa3edbf360871a46033028568f71;hb=a4bcd37698083f16fbe6f956491a591d85e3a11d;hp=850046b866afb5a1e94d99d0c970444dbdf8cc53;hpb=772e7860eda413e17abaa68e1a8c42c24bb19e27;p=lambda.git 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)