X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=index.mdwn;h=eb46063b2588902030b4725d99507d6364fbfd73;hb=8cf1fe240800a66d644f907fad8d618b014efd7d;hp=8726ff695535efd49db08b91bfe0c4fe3fa0f792;hpb=c622f91ab9df73744ac421726b9feed993d054c0;p=lambda.git

diff --git a/index.mdwn b/index.mdwn
index 8726ff69..eb46063b 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -71,23 +71,23 @@ preloaded is available at [[assignment 3 evaluator]].
 
 (15 Nov) Lecture notes for [[Week9]]; [[Assignment7]]. Everyone auditing in the class is encouraged to do this assignment, or at least work through the substantial "hints".
 
->	Topics: Mutable Variables; Passing by Reference
+>	Topics: Mutable Variables; Passing by Reference; [[State Monad Tutorial]] (added recently)
 
 (22 Nov) Lecture notes for [[Week10]]
 
->	Topics: Calculator Improvements, including mutation; [[State Monad Tutorial]]
+>	Topics: Calculator Improvements, including mutation
 
 (30 Nov) Lecture notes for [[Week11]]; [[Assignment8]].
 
->	Topics: [[Tree and List Zippers]]; [[Coroutines and Aborts]]; [[From List Zippers to Continuations]].
+>	Topics: [[Tree and List Zippers]]; [[Coroutines and Aborts]]; [[From List Zippers to Continuations]]
 
-(6 Dec) Lecture notes for [[Week12]]
+(6 Dec) Lecture notes for [[Week12]]; [[Assignment9]].
 
->	Topics: [[List Monad as Continuation Monad]]; [[Manipulating Trees with Monads]]; ...; [[Assignment9]].
+>	Topics: [[List Monad as Continuation Monad]]; [[Manipulating Trees with Monads]] (updated); [[Monad Transformers]] (added recently)
 
-(13 Dec) Lecture notes for Week13
+(13 Dec) Lecture notes for Week13; [[Assignment10]].
 
-[[Upcoming topics]]
+>	Topics: [[CPS and Continuation Operators]]; Curry-Howard
 
 [[Advanced Topics]]
 
@@ -101,6 +101,8 @@ See [below](#installing) for how to get the programming languages running on you
 
 *	Links for help [[learning OCaml]]
 
+*	[[Translating between OCaml Scheme and Haskell]]
+
 
 ##[[Offsite Reading]]##
 
@@ -242,6 +244,10 @@ other.
 
 [[Translating between OCaml Scheme and Haskell]]
 
+## What is Functional Programming? ##
+
+Here's a [survey conducted at Microsoft](http://research.microsoft.com/apps/pubs/default.aspx?id=141506) asking programmers what they understand "functional programming" to be. Don't take their responses to be authoritative... this is a just a "man in the street" (seat?) poll.
+
 
 ## Recommended Books ##