reorganize links to notes

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/index.mdwn b/index.mdwn
index 46f6b74..5c0359e 100644 (file)
--- 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 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.
 
 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
+
+<!-- Introducing the notion of a "continuation", which technique we'll now already have used a few times
+-->

 
 

-##[[Notes and Schedule]]##
+[[Upcoming topics]]

 
 
 ##[[Offsite Reading]]##
 
 
 ##[[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 da8a254..3400d0f 100644 (file)
--- 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 ##
 This is very sketchy at this point, but it should give a sense of our intended scope.
 
 ## Types ##