X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=topics%2Fweek2_lambda_intro.mdwn;h=486a75b434f6266ca91e1d6b722b5ea05f06eca8;hb=e1f4de77bd03fe51fa8c432c82bc4a098c9d6298;hp=5fd3a837d4a9dd8a6b583a5042f6ff534d1ca3ad;hpb=8561b08f878bdf3b6b27a8ddc4ff2b9fe4b3354d;p=lambda.git

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 ##