X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week7.mdwn;h=a05d2212b34312641baa6ba6972246e039f4c5cc;hp=c2a432ecf3ced9cb652b41cd416f583db7558248;hb=3ef22cae11ec60126584496a6923b967510e70ad;hpb=89886f346dd46b9f8b35fed6094dc5b999b74354

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]]##