From: Jim Pryor Date: Thu, 16 Sep 2010 08:59:53 +0000 (-0400) Subject: week1: tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=96f5212fd701d7120b0ed5da19bc14830c17b1bc week1: tweaks Signed-off-by: Jim Pryor --- 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 - - - - -