edits

[lambda.git] / reader_monad.mdwn

diff --git a/reader_monad.mdwn b/reader_monad.mdwn
index 353a897..b0f6486 100644 (file)
--- 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)))