From 475e3a5835b3ed3d96fbd939aa04e9267ba8cae4 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 1 Nov 2010 07:58:50 -0400 Subject: [PATCH] reader: tweaking markup Signed-off-by: Jim Pryor --- reader_monad.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/reader_monad.mdwn b/reader_monad.mdwn index ef049d5b..353a8970 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))) @@ -263,7 +263,7 @@ Substituting in the definition of `unit`, this is: And now supplying \[[Alice spurned i]] as an argument to \[[who(i)]], we get: - [[who(i): Alice spurned i]] = [[who(i)]] [[Alice spurned i]] + \[[who(i): Alice spurned i]] = \[[who(i)]] \[[Alice spurned i]] = (fun u v -> shift i v u) (fun e -> S Alice (lookup i e)) = fun v -> shift i v (fun e -> S Alice (lookup i e)) -- 2.11.0