From: Jim Pryor Date: Wed, 3 Nov 2010 01:04:50 +0000 (-0400) Subject: renaming X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=26ef3ad43ed5d4e912bed99daccb990c0840052c;ds=sidebyside renaming Signed-off-by: Jim Pryor --- 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]]##