From deaaa5ead3e6f6de2241cb1b568499b328b540e9 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 20 Sep 2010 15:45:29 -0400 Subject: [PATCH] reorganize links to notes Signed-off-by: Jim Pryor --- index.mdwn | 18 +++++++++++++----- notes_and_schedule.mdwn => upcoming_topics.mdwn | 13 ------------- 2 files changed, 13 insertions(+), 18 deletions(-) rename notes_and_schedule.mdwn => upcoming_topics.mdwn (89%) diff --git a/index.mdwn b/index.mdwn index 46f6b74a..5c0359ec 100644 --- a/index.mdwn +++ b/index.mdwn @@ -18,16 +18,24 @@ Lots of lecture notes summarizing and expanding on last Monday's seminar now pos ## Lecture Notes and Assignments ## -Lecture notes for [[Week1]]; [[Assignment1]]. +(13 Sept) Lecture notes for [[Week1]]; [[Assignment1]]. -Lecture notes for [[Week2]]; [[Assignment2]]. +Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages -There is now a [lambda evaluator](lambda-let.html) you can use in your browser (no need to install any software). +(20 Sept) Lecture notes for [[Week2]]; [[Assignment2]]. + +Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers + +There is now a [lambda evaluator](/lambda-let.html) you can use in your browser (no need to install any software). It can help you check whether your answer to some of the homework questions works correctly. -[Lambda Calculator](/lambda-let.html) +(27 Sept) ...(Notes to come) +Topics: Recursion with Fixed Point Combinators + + -##[[Notes and Schedule]]## +[[Upcoming topics]] ##[[Offsite Reading]]## diff --git a/notes_and_schedule.mdwn b/upcoming_topics.mdwn similarity index 89% rename from notes_and_schedule.mdwn rename to upcoming_topics.mdwn index da8a254f..3400d0fa 100644 --- a/notes_and_schedule.mdwn +++ b/upcoming_topics.mdwn @@ -1,16 +1,3 @@ -# Lecture Notes # - -[[Week1]] (13 Sept) Applications; Basics of Lambda Calculus; Comparing Different Languages - -[[Week2]] (20 Sept) Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers - -Week3 (27 Sept) Recursion with Fixed Point Combinators - -Introducing the notion of a "continuation", which technique we'll now already have used a few times - - -# Still To Come # - This is very sketchy at this point, but it should give a sense of our intended scope. ## Types ## -- 2.11.0