From: Jim Pryor Date: Mon, 1 Nov 2010 11:59:12 +0000 (-0400) Subject: reader: tweaking markup X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=55413c23ffb5d0b60d9a5d419d0db068850a9852 reader: tweaking markup Signed-off-by: Jim Pryor --- 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)))