From: Jim Pryor
Date: Wed, 1 Dec 2010 06:48:58 +0000 (-0500)
Subject: lists-monad tweaks
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=bd008f9ae63ba84914d12e8c3e0973382cfd9b62
lists-monad tweaks
Signed-off-by: Jim Pryor
---
diff --git a/list_monad_as_continuation_monad.mdwn b/list_monad_as_continuation_monad.mdwn
index 81a5be31..d2136dbe 100644
--- a/list_monad_as_continuation_monad.mdwn
+++ b/list_monad_as_continuation_monad.mdwn
@@ -212,8 +212,7 @@ be no more intimidated by complex types than by a linguistic tree with
deeply embedded branches: complex structure created by repeated
application of simple rules.
-[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
+[This would be a good time to try to reason your way to your own term having the type just specified. 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`.