update for rename of topics/_week2_lambda_calculus_fine_points.mdwn to topics/week2_l...
authorjim <jim@web>
Sat, 7 Feb 2015 15:03:21 +0000 (10:03 -0500)
committerLinux User <ikiwiki@localhost.members.linode.com>
Sat, 7 Feb 2015 15:03:21 +0000 (10:03 -0500)
topics/week2_lambda_intro.mdwn

index 5fd3a83..486a75b 100644 (file)
@@ -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 ##