renaming

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

diff --git a/index.mdwn b/index.mdwn
index 3c5ef38..f280920 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -51,7 +51,7 @@ preloaded is available at [[assignment 3 evaluator]].
 
 (1 Nov) Lecture notes for [[Week7]]; [[Assignment6]].
 
 
 (1 Nov) Lecture notes for [[Week7]]; [[Assignment6]].
 

->      Topics: Monads; [[Reader Monad]]; [[Intensionality Monad]]
+>      Topics: Monads; [[Reader Monad for Variable Binding]]; [[Reader Monad for Intensionality]]

 
 
 [[Upcoming topics]]
 
 
 [[Upcoming topics]]

diff --git a/intensionality_monad.mdwn b/reader_monad_for_intensionality.mdwn
similarity index 99%
rename from intensionality_monad.mdwn
rename to reader_monad_for_intensionality.mdwn
index 5598e42..5582734 100644 (file)
--- a/intensionality_monad.mdwn
+++ b/reader_monad_for_intensionality.mdwn
@@ -1,5 +1,5 @@
 Now we'll look at using monads to do intensional function application.
 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.
+This 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
 making expressions sensitive to the world of evaluation is conceptually
 In Shan (2001) [Monads for natural
 language semantics](http://arxiv.org/abs/cs/0205026v1), Ken shows that
 making expressions sensitive to the world of evaluation is conceptually

diff --git a/reader_monad.mdwn b/reader_monad_for_variable_binding.mdwn
similarity index 100%
rename from reader_monad.mdwn
rename to reader_monad_for_variable_binding.mdwn

diff --git a/week7.mdwn b/week7.mdwn
index c2a432e..a05d221 100644 (file)
--- a/week7.mdwn
+++ b/week7.mdwn
@@ -583,7 +583,7 @@ Continuation monad.
 But first, we'll look at several linguistic applications for monads, based
 on what's called the *Reader monad*.
 
 But first, we'll look at several linguistic applications for monads, based
 on what's called the *Reader monad*.
 

-##[[Reader monad]]##
+##[[Reader monad for Variable Binding]]##

 
 

-##[[Intensionality monad]]##
+##[[Reader monad for Intensionality]]##