From e1f4de77bd03fe51fa8c432c82bc4a098c9d6298 Mon Sep 17 00:00:00 2001 From: jim Date: Sat, 7 Feb 2015 10:03:21 -0500 Subject: [PATCH 1/1] update for rename of topics/_week2_lambda_calculus_fine_points.mdwn to topics/week2_lambda_advanced.mdwn --- topics/week2_lambda_intro.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ## -- 2.11.0