edits
authorChris Barker <barker@omega.(none)>
Sat, 27 Nov 2010 04:58:43 +0000 (23:58 -0500)
committerChris Barker <barker@omega.(none)>
Sat, 27 Nov 2010 04:58:43 +0000 (23:58 -0500)
zipper-lists-continuations.mdwn

index a14ed50..f0a252e 100644 (file)
@@ -243,13 +243,6 @@ lists, so that they will print out.
 
 Ta da!
 
 
 Ta da!
 
-Just for mnemonic purposes (sneaking in an instance of eta reduction
-to the definition of unit), we can summarize the result as follows:
-
-    type ('a, 'b) list' = ('a -> 'b -> 'b) -> 'b -> 'b
-    l'_unit x = fun f -> f x
-    l'_bind u f = fun k -> u (fun x -> f x k)
-
 To bad this digression, though it ties together various
 elements of the course, has *no relevance whatsoever* to the topic of
 continuations.
 To bad this digression, though it ties together various
 elements of the course, has *no relevance whatsoever* to the topic of
 continuations.