From 26ef3ad43ed5d4e912bed99daccb990c0840052c Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 2 Nov 2010 21:04:50 -0400 Subject: [PATCH] renaming Signed-off-by: Jim Pryor --- index.mdwn | 2 +- intensionality_monad.mdwn => reader_monad_for_intensionality.mdwn | 2 +- reader_monad.mdwn => reader_monad_for_variable_binding.mdwn | 0 week7.mdwn | 4 ++-- 4 files changed, 4 insertions(+), 4 deletions(-) rename intensionality_monad.mdwn => reader_monad_for_intensionality.mdwn (99%) rename reader_monad.mdwn => reader_monad_for_variable_binding.mdwn (100%) diff --git a/index.mdwn b/index.mdwn index 3c5ef38b..f2809209 100644 --- a/index.mdwn +++ b/index.mdwn @@ -51,7 +51,7 @@ preloaded is available at [[assignment 3 evaluator]]. (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]] 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 5598e42c..55827340 100644 --- 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. -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 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 c2a432ec..a05d2212 100644 --- 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*. -##[[Reader monad]]## +##[[Reader monad for Variable Binding]]## -##[[Intensionality monad]]## +##[[Reader monad for Intensionality]]## -- 2.11.0