From 96f5212fd701d7120b0ed5da19bc14830c17b1bc Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Thu, 16 Sep 2010 04:59:53 -0400 Subject: [PATCH] week1: tweaks Signed-off-by: Jim Pryor --- week1.mdwn | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/week1.mdwn b/week1.mdwn index 52654e3e..815cdf34 100644 --- 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 - - - - - -- 2.11.0