From 25c4a39a52fd98f0df15e3e928795a1972db8f09 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Fri, 26 Nov 2010 23:58:43 -0500 Subject: [PATCH] edits --- zipper-lists-continuations.mdwn | 7 ------- 1 file changed, 7 deletions(-) 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. -- 2.11.0