(no commit message)

[lambda.git] / topics / _week6_plexy.mdwn

diff --git a/topics/_week6_plexy.mdwn b/topics/_week6_plexy.mdwn
index 897dc8e..d58f027 100644 (file)
--- 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,7 +92,7 @@ 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