From: Chris Barker Date: Sun, 28 Nov 2010 18:40:55 +0000 (-0500) Subject: edits X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=0a9b2c5fb1adfa3b87e95fcbf26ee79d57ae7466 edits --- 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