author Jim Pryor Mon, 20 Sep 2010 19:45:29 +0000 (15:45 -0400) committer Jim Pryor Mon, 20 Sep 2010 19:45:29 +0000 (15:45 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
 index.mdwn patch | blob | history upcoming_topics.mdwn [moved from notes_and_schedule.mdwn with 89% similarity] patch | blob | history

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

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

similarity index 89%
rename from notes_and_schedule.mdwn
rename to upcoming_topics.mdwn
index da8a254..3400d0f 100644 (file)
@@ -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 ##