X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week6_plexy.mdwn;h=79d081e312c78501bbba41f4d180f9d5721090c9;hp=897dc8ec40a1ed9cfc43f2f8f4505807b9e6ea25;hb=62abed25f0f396cd548b833805f4219cbdf79533;hpb=3594348c7f81331c5c6e91c47230710fc9c5873e

diff --git a/topics/_week6_plexy.mdwn b/topics/_week6_plexy.mdwn
index 897dc8ec..79d081e3 100644
--- a/topics/_week6_plexy.mdwn
+++ b/topics/_week6_plexy.mdwn
@@ -1,5 +1,5 @@
-Motivating types; motivating the Maybe monad
-============================================
+Motivating types; our first glimpse of the Maybe monad
+======================================================
 
 In [[a long footnote discussing Russell|readings/kaplan-plexy.pdf]],
 Kaplan 1989:496 poses a problem for the interaction of structured
@@ -92,8 +92,8 @@ directly-referential expressions:
     {}   if there is no object that E refers to, or else
     {P}  if E refers to P
 
-In later weeks, we will call this technique the Maybe monad.
+In later weeks, we will call the general form of this technique the Maybe type, and the general strategy for deploying this type the Maybe monad.
 
 
-Kaplan, D. 1989. "Demonstratives. InJ. Almog, J. Perry, & H. Wettstein
+Kaplan, D. 1989. "Demonstratives. In J. Almog, J. Perry, & H. Wettstein
 (Eds.), Themes from Kaplan (pp. 481-563)."