update for rename of topics/_week2_lambda_calculus_fine_points.mdwn to topics/week2_l...

[lambda.git] / topics / week2_lambda_intro.mdwn

diff --git a/topics/week2_lambda_intro.mdwn b/topics/week2_lambda_intro.mdwn
index 5fd3a83..486a75b 100644 (file)
--- 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 ##