From: jim Date: Sat, 7 Feb 2015 15:03:21 +0000 (-0500) Subject: update for rename of topics/_week2_lambda_calculus_fine_points.mdwn to topics/week2_l... X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=f7cef2a966b4a887a1ab4f199c380bdbe21f081c;ds=sidebyside update for rename of topics/_week2_lambda_calculus_fine_points.mdwn to topics/week2_lambda_advanced.mdwn --- 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)