week1: tweaks
[lambda.git] / week1.mdwn
index 52654e3..815cdf3 100644 (file)
@@ -789,18 +789,3 @@ We'll discuss this more as the seminar proceeds.
 
 
 
-1.     Declarative vs imperatival models of computation.
-2.     Variety of ways in which "order can matter."
-3.     Variety of meanings for "dynamic."
-4.     Schoenfinkel, Curry, Church: a brief history
-5.     Functions as "first-class values"
-6.     "Curried" functions
-
-1.     Beta reduction
-1.     Encoding pairs (and triples and ...)
-1.     Encoding booleans
-
-
-
-
-