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

edits
---

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)
 </pre>
 
 How similar is it to the List monad?  Let's examine the type