rename topics/week9_using_the_juli8_library.mdwn to topics/week9_using_the_juli8_libr...
[lambda.git] / topics / week6_plexy.mdwn
index 3dfa330..f258be1 100644 (file)
@@ -7,7 +7,7 @@ meanings with direct reference, and then offers a solution based on
 types.
 
 To grasp the problem, consider a structured-meaning theory of meaning,
-on which the meaning of natural language expressions are represented
+on which the meanings of natural language expressions are represented
 by objects that can have internal structure.
 
     1. The center of mass of the solar system is a point.
@@ -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