week1: fix markup processing?
[lambda.git] / test2.mdwn
index a9178fb..5de7112 100644 (file)
@@ -1,3 +1,21 @@
+Here's what we did in seminar on Monday 9/13,
+
+Sometimes these notes will expand on things mentioned only briefly in class, or discuss useful tangents that didn't even make it into class. These notes expand on *a lot*, and some of this material will be reviewed next week.
+
+Applications
+============
+
+We mentioned a number of linguistic and philosophical applications of the tools that we'd be helping you learn in the seminar. (We really do mean "helping you learn," not "teaching you." You'll need to aggressively browse and experiment with the material yourself, or nothing we do in a few two-hour sessions will succeed in inducing mastery of it.)
+
+From linguistics
+----------------
+
+*      generalized quantifiers are a special case of operating on continuations
+
+*      (Chris: fill in other applications...)
+
+*      expressives -- at the end of the seminar we gave a demonstration of modeling [[damn]] using continuations...see the [summary](/damn) for more explanation and elaboration
+
 From philosophy
 ---------------