From: Chris Barker <barker@omega.(none)>
Date: Sat, 27 Nov 2010 04:58:43 +0000 (-0500)
Subject: edits
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=25c4a39a52fd98f0df15e3e928795a1972db8f09;ds=sidebyside

edits
---

diff --git a/zipper-lists-continuations.mdwn b/zipper-lists-continuations.mdwn
index a14ed503..f0a252ee 100644
--- a/zipper-lists-continuations.mdwn
+++ b/zipper-lists-continuations.mdwn
@@ -243,13 +243,6 @@ lists, so that they will print out.
 
 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.