renaming

[lambda.git] / week7.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*.
 
-##[[Reader monad]]##
+##[[Reader monad for Variable Binding]]##
 
-##[[Intensionality monad]]##
+##[[Reader monad for Intensionality]]##