From 4b1834a17fc7a43ea9aa5166afcf5710b65f6856 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sat, 27 Nov 2010 00:01:12 -0500 Subject: [PATCH] edits --- zipper-lists-continuations.mdwn | 2 -- 1 file changed, 2 deletions(-) diff --git a/zipper-lists-continuations.mdwn b/zipper-lists-continuations.mdwn index 0eb3128f..ed822f88 100644 --- a/zipper-lists-continuations.mdwn +++ b/zipper-lists-continuations.mdwn @@ -294,8 +294,6 @@ parallel in a deep sense. To emphasize the parallel, we can instantiate the type of the list' monad using the Ocaml list type: type 'a c_list = ('a -> 'a list) -> 'a list - let c_list_unit x = fun f -> f x;; - let c_list_bind u f = fun k -> u (fun x -> f x k);; Have we really discovered that lists are secretly continuations? Or have we merely found a way of simulating lists using list -- 2.11.0