X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek6_plexy.mdwn;h=f258be1311e5c0b382a7ee716dcbb8d6a392bbc3;hp=02d86d4497d8ce021a1e6c18b0bb4087d0fc6c58;hb=7f98aa5b7f740662593c87e0fe138c95a62ede85;hpb=6aeee2346afa241a8fc2f40a7a828d8e0607a7b7

diff --git a/topics/week6_plexy.mdwn b/topics/week6_plexy.mdwn
index 02d86d44..f258be13 100644
--- a/topics/week6_plexy.mdwn
+++ b/topics/week6_plexy.mdwn
@@ -95,7 +95,7 @@ directly-referential expressions:
 > {}   (or what we'll call `None` or `Nothing`) if there is no object that E refers to, or else  
 > {P}  (or what we'll call `Some P` or `Just P`) if E refers to P
 
-We will call the type used here an "option" or "Maybe" type (from OCaml and Haskell, respectively). And we'll call the general strategy for deploying this type "the Maybe monad."
+We will call the type used here an "option" or "Maybe" type (from OCaml and Haskell, respectively). And we'll call the general strategy for deploying this type "the Option/Maybe monad."
 
 
 Kaplan, D. 1989. "Demonstratives. In J. Almog, J. Perry, & H. Wettstein