From bd008f9ae63ba84914d12e8c3e0973382cfd9b62 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Wed, 1 Dec 2010 01:48:58 -0500 Subject: [PATCH] lists-monad tweaks Signed-off-by: Jim Pryor --- list_monad_as_continuation_monad.mdwn | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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`. -- 2.11.0