From 0a9b2c5fb1adfa3b87e95fcbf26ee79d57ae7466 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sun, 28 Nov 2010 13:40:55 -0500 Subject: [PATCH] edits --- zipper-lists-continuations.mdwn | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/zipper-lists-continuations.mdwn b/zipper-lists-continuations.mdwn index 5980c6fb..ab9eee7c 100644 --- a/zipper-lists-continuations.mdwn +++ b/zipper-lists-continuations.mdwn @@ -213,11 +213,9 @@ be no more intimiated by complex types than by a linguistic tree with deeply embedded branches: complex structure created by repeated application of simple rules. -The best way to follow the next long, somewhat intricate paragraph -immediately following is to take this type and try to construct a term -for it, just as we did for the monads above. If you suceed, the -discussion will just make brilliant sense. If you get stuck, the -discussion will explain how to proceed. +[This would be a good time to try to build your own term for the types +just given. Doing so (or attempting to do so) will make the next +paragraph much easier to follow.] As usual, we need to unpack the `u` box. Examine the type of `u`. This time, `u` will only deliver up its contents if we give `u` an -- 2.11.0