week1: tweaks

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

diff --git a/week1.mdwn b/week1.mdwn
index 52654e3..815cdf3 100644 (file)
--- a/week1.mdwn
+++ b/week1.mdwn
@@ -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
-
-
-
-
-