comment re 'intensionality monad'

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/intensionality_monad.mdwn b/intensionality_monad.mdwn
index e228e24..36a0cdd 100644 (file)
--- a/intensionality_monad.mdwn
+++ b/intensionality_monad.mdwn
@@ -1,20 +1,19 @@
-The intensionality monad
-------------------------
-In the meantime, we'll look at several linguistic applications for monads, based
-on
-
-what's called the *reader monad*.
-...
-intensional function application.  In Shan (2001) [Monads for natural
+The "intensionality" monad
+--------------------------
+
+Now we'll look at using monads to do intensional function application.
+This really is just another application of the reader monad, not a new monad.
+In Shan (2001) [Monads for natural

 language semantics](http://arxiv.org/abs/cs/0205026v1), Ken shows that
 language semantics](http://arxiv.org/abs/cs/0205026v1), Ken shows that

-making expressions sensitive to the world of evaluation is
-conceptually the same thing as making use of a *reader monad* (which
-we'll see again soon).  This technique was beautifully re-invented
+making expressions sensitive to the world of evaluation is conceptually
+the same thing as making use of the reader monad.
+This technique was beautifully re-invented

 by Ben-Avi and Winter (2007) in their paper [A modular
 approach to
 intensionality](http://parles.upf.es/glif/pub/sub11/individual/bena_wint.pdf),
 though without explicitly using monads.
 
 by Ben-Avi and Winter (2007) in their paper [A modular
 approach to
 intensionality](http://parles.upf.es/glif/pub/sub11/individual/bena_wint.pdf),
 though without explicitly using monads.
 

+

 All of the code in the discussion below can be found here: [[intensionality-monad.ml]].
 To run it, download the file, start OCaml, and say 
 
 All of the code in the discussion below can be found here: [[intensionality-monad.ml]].
 To run it, download the file, start OCaml, and say