From cf1304742112bed8b5e15c84f0fc7c4510e5d21b Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sat, 27 Nov 2010 00:00:09 -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 a2603dba..0eb3128f 100644 --- a/zipper-lists-continuations.mdwn +++ b/zipper-lists-continuations.mdwn @@ -275,7 +275,7 @@ similar to the List monad just given: type 'a continuation = ('a -> 'b) -> 'b c_unit (x:'a) = fun (p:'a -> 'b) -> p x c_bind (u:('a -> 'b) -> 'b) (f: 'a -> ('c -> 'd) -> 'd): ('c -> 'd) -> 'd = -fun (k:'a -> 'b) -> u (fun (x:'a) -> f x k) + fun (k:'a -> 'b) -> u (fun (x:'a) -> f x k) How similar is it to the List monad? Let's examine the type -- 2.11.0