X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week2_lambda_calculus_intro.mdwn;h=5fd3a837d4a9dd8a6b583a5042f6ff534d1ca3ad;hp=5f8df8dd6cd0e2c04184196f3451a3467bc9fc44;hb=f60528b2bc0cb6be373647ec4137e73c5220de16;hpb=772e7860eda413e17abaa68e1a8c42c24bb19e27;ds=sidebyside diff --git a/topics/_week2_lambda_calculus_intro.mdwn b/topics/_week2_lambda_calculus_intro.mdwn index 5f8df8dd..5fd3a837 100644 --- a/topics/_week2_lambda_calculus_intro.mdwn +++ b/topics/_week2_lambda_calculus_intro.mdwn @@ -173,7 +173,7 @@ like this: More details about the notation and metatheory of the lambda calculus here: -* [[topics/_week2_lambda_calculus_fine_points.mdwn]] +* [[ week2 lambda calculus fine points]] ## Shorthand ##