X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=zipper-lists-continuations.mdwn;h=f0a252ee46d4e5f2141de51c700112c6e12faf16;hp=a14ed503a13a2f84b411616c985983115ff04160;hb=25c4a39a52fd98f0df15e3e928795a1972db8f09;hpb=9f7e25bd5aa94f5d0cdcd80a1ea0a48ff49a88fe

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.