From 77685f9344dbafc375eab33e0cba275b38e24491 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 3 Oct 2010 01:55:39 -0400 Subject: [PATCH] tweak advanced Signed-off-by: Jim Pryor --- index.mdwn | 3 ++- ...ed.mdwn => miscellaneous_lambda_challenges_and_advanced_topics.mdwn | 2 -- 2 files changed, 2 insertions(+), 3 deletions(-) rename lambda_advanced.mdwn => miscellaneous_lambda_challenges_and_advanced_topics.mdwn (99%) diff --git a/index.mdwn b/index.mdwn index d75578c9..6e90c43a 100644 --- a/index.mdwn +++ b/index.mdwn @@ -19,7 +19,8 @@ It can help you check whether your answer to some of the homework questions work There is now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced. -There's also a page of [advanced challenges and techniques](/lambda_advanced) for the untyped lambda-calculus. +There's also a page of [[miscellaneous lambda challenges and advanced topics]]. +