X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=content.mdwn;h=e067adba00f9aa3edbf360871a46033028568f71;hb=e1f4de77bd03fe51fa8c432c82bc4a098c9d6298;hp=5893819c089f4f665d6cba52621dc03984449cbe;hpb=0b1bbb3b846871fc9245456e0be8a1c1fb102050;p=lambda.git diff --git a/content.mdwn b/content.mdwn index 5893819c..e067adba 100644 --- a/content.mdwn +++ b/content.mdwn @@ -24,7 +24,7 @@ recursion. Definitions of factorial. Week 2: * [[Intro to the Lambda Calculus|topics/week2_lambda_intro]] -* [[Advanced notes on the Lambda Calculus|topics/ week2 lambda calculus fine points]] +* [[Advanced notes on the Lambda Calculus|topics/week2_lambda_advanced]] * Encoding Booleans, Tuples, Lists, and Numbers (in progress) * Homework for week 2 (in progress)