X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=upcoming_topics.mdwn;fp=notes_and_schedule.mdwn;h=3400d0fa28fdaff9813a131f3f5a2216f485321c;hp=da8a254f7333a9586d8b3551a8926e4aae071b1f;hb=deaaa5ead3e6f6de2241cb1b568499b328b540e9;hpb=4c41ba9c22b453bb23667786c1b549f15bf5cf1e;ds=sidebyside

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 ##