X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=notes_and_schedule.mdwn;h=da8a254f7333a9586d8b3551a8926e4aae071b1f;hp=4655c55f81b83507dabd831c8f70c0b9ed2d196d;hb=7bffcdc79c27f459cb7d451f23b4ce8e5b39b125;hpb=361be330be527afca068bee93eab445b1417b243

diff --git a/notes_and_schedule.mdwn b/notes_and_schedule.mdwn
index 4655c55f..da8a254f 100644
--- a/notes_and_schedule.mdwn
+++ b/notes_and_schedule.mdwn
@@ -1,30 +1,18 @@
 # 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.
 
-## More on the "pure" or untyped lambda calculus ##
-
-1.	Eta reduction and "extensionality"
-1.	Different evaluation strategies (call by name, call by value, etc.)
-1.	Strongly normalizing vs weakly normalizing vs non-normalizing; Church-Rosser Theorem(s)
-1.	Lambda calculus compared to combinatorial logic<p>
-1.	Church-like encodings of numbers, defining addition and multiplication
-1.	Defining the predecessor function; alternate encodings for the numbers
-1.	Homogeneous sequences or "lists"; how they differ from pairs, triples, etc.
-1.	Representing lists as pairs
-1.	Representing lists as folds
-1.	Typical higher-order functions: map, filter, fold<p>
-1.	Recursion exploiting the fold-like representation of numbers and lists ([[!wikipedia Deforestation (computer science)]], [[!wikipedia Zipper (data structure)]])
-1.	General recursion using omega
-1.	The Y combinator(s); more on evaluation strategies<p>
-1.	Introducing the notion of a "continuation", which technique we'll now already have used a few times
-
 ## Types ##
 
 1.	Product or record types, e.g. pairs and triples