From: jim <jim@web>
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=e1f4de77bd03fe51fa8c432c82bc4a098c9d6298;hp=f7cef2a966b4a887a1ab4f199c380bdbe21f081c

update for rename of topics/_week2_lambda_calculus_fine_points.mdwn to topics/week2_lambda_advanced.mdwn
---

diff --git a/topics/week2_lambda_intro.mdwn b/topics/week2_lambda_intro.mdwn
index 5fd3a837..486a75b4 100644
--- a/topics/week2_lambda_intro.mdwn
+++ b/topics/week2_lambda_intro.mdwn
@@ -173,7 +173,7 @@ like this:
 More details about the notation and metatheory of
 the lambda calculus here:
 
-*      [[ week2 lambda calculus fine points]]
+*      [[topics/week2_lambda_advanced]]
 
 
 ## Shorthand ##