X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=5893819c089f4f665d6cba52621dc03984449cbe;hp=c2957ecb65fc4af10464891cf5d919aee0605ebf;hb=0b1bbb3b846871fc9245456e0be8a1c1fb102050;hpb=b3e605498edcd1ab89edd66846aae0ebcacc0b5e diff --git a/content.mdwn b/content.mdwn index c2957ecb..5893819c 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 calculus fine points]] * Encoding Booleans, Tuples, Lists, and Numbers (in progress) * Homework for week 2 (in progress)