From 051c4bc23f4c1107423d50d370e15ef723187b03 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Fri, 26 Nov 2010 23:50:48 -0500 Subject: [PATCH] edits --- zipper-lists-continuations.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zipper-lists-continuations.mdwn b/zipper-lists-continuations.mdwn index a9d0e8fa..581cdf4e 100644 --- a/zipper-lists-continuations.mdwn +++ b/zipper-lists-continuations.mdwn @@ -55,7 +55,7 @@ so we have to abstract over that variable to balance the books: fun e -> f (u e) ... This types to `env -> 'b reader`, but we want to end up with `env -> -'b`. The easiest way to turn a 'b reader into a 'b is to apply it to +'b`. Once again, the easiest way to turn a `'b reader` into a `'b` is to apply it to an environment. So we end up as follows: r_bind (u:'a reader) (f:'a -> 'b reader):('b reader) = f (u e) e -- 2.11.0