X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=zipper-lists-continuations.mdwn;h=f05ea007bedcc6866d4afed2699b7b8a91926d94;hp=0ef943648f2d978ea838dfc81ed736c62db9ded2;hb=54ec3f0279cf6af96b0265d03d536b4a42dc0856;hpb=b9ab5e640cf6ead61cd72c4a484dd55d239a2bb5 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: