X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek2_lambda_intro.mdwn;h=486a75b434f6266ca91e1d6b722b5ea05f06eca8;hp=5fd3a837d4a9dd8a6b583a5042f6ff534d1ca3ad;hb=32c4351cee928bc0153811e2786aa93056ff76af;hpb=8561b08f878bdf3b6b27a8ddc4ff2b9fe4b3354d 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 ##