From: Chris Barker <barker@omega.(none)>
Date: Sat, 27 Nov 2010 05:01:12 +0000 (-0500)
Subject: edits
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=4b1834a17fc7a43ea9aa5166afcf5710b65f6856;hp=cf1304742112bed8b5e15c84f0fc7c4510e5d21b

edits
---

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