X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=content.mdwn;h=e067adba00f9aa3edbf360871a46033028568f71;hb=e1f4de77bd03fe51fa8c432c82bc4a098c9d6298;hp=c2957ecb65fc4af10464891cf5d919aee0605ebf;hpb=b3e605498edcd1ab89edd66846aae0ebcacc0b5e;p=lambda.git diff --git a/content.mdwn b/content.mdwn index c2957ecb..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 advanced notes]] +* [[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)