From 435a68843444ebdaa28d6f8ac83bf78f750eeae2 Mon Sep 17 00:00:00 2001 From: jim Date: Thu, 19 Mar 2015 12:11:12 -0400 Subject: [PATCH] tweak --- topics/week6_plexy.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.11.0