From 54ec3f0279cf6af96b0265d03d536b4a42dc0856 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sat, 27 Nov 2010 00:19:19 -0500 Subject: [PATCH 1/1] edits --- zipper-lists-continuations.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/zipper-lists-continuations.mdwn b/zipper-lists-continuations.mdwn index 0ef94364..f05ea007 100644 --- a/zipper-lists-continuations.mdwn +++ b/zipper-lists-continuations.mdwn @@ -125,8 +125,8 @@ So let's indulge ourselves in a completely useless digression and see if we can gain some insight into the details of the List monad. Let's choose type constructor that we can peer into, using some of the technology we built up so laboriously during the first half of the -course. We're going to use type 3 lists, partly because I know -they'll give the result I want, but also because they're the coolest. +course. We're going to use type 3 lists, partly because we know +they'll give the result we want, but also because they're the coolest. These were the lists that made lists look like Church numerals with extra bits embdded in them: -- 2.11.0