X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=reader_monad.mdwn;h=b0f64867f8430fc8cbdb5aafd20ca3adbbf58e9f;hp=353a897025bc0bd073ab290894bc4ef026960e3b;hb=b0139eb9a0b1865ca04f76157ce8dcfbd203374b;hpb=475e3a5835b3ed3d96fbd939aa04e9267ba8cae4

diff --git a/reader_monad.mdwn b/reader_monad.mdwn
index 353a8970..b0f64867 100644
--- a/reader_monad.mdwn
+++ b/reader_monad.mdwn
@@ -244,7 +244,7 @@ That is, it takes as arguments a clause-type reader-monad `u`, and an entity-typ
 
 You can trace through what happens then if we apply \[[who(i)]] to (\[[spurned]] applied to \[[Alice]] and \[[i]]):
 
-	\[[Alice spurned i]] = \[[spurned]] [[Alice]] [[i]]
+	\[[Alice spurned i]] = \[[spurned]] \[[Alice]] \[[i]]
 		= (lift2 S) (unit Alice) (lookup i)
 		= bind (unit Alice) (fun x -> bind (lookup i) (fun y -> unit (S x y)))