From: Chris Barker Date: Sat, 27 Nov 2010 04:54:15 +0000 (-0500) Subject: edits X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=adfec786a8d1caa0ae42c1d392c76e99d305a975 edits --- diff --git a/zipper-lists-continuations.mdwn b/zipper-lists-continuations.mdwn index 326d0e54..142a2ba8 100644 --- a/zipper-lists-continuations.mdwn +++ b/zipper-lists-continuations.mdwn @@ -121,14 +121,14 @@ And sure enough, But where is the reasoning that led us to this unit and bind? And what is the type `['a]`? Magic. -So let's make 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. I'm -going to use type 3 lists, partly because I know they'll give the -result I want, but also because they're my favorite. These were the -lists that made lists look like Church numerals with extra bits -embdded in them: +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. I'm going to use type 3 lists, partly because I know they'll +give the result I want, but also because they're my favorite. These +were the lists that made lists look like Church numerals with extra +bits embdded in them: empty list: fun f z -> z list with one element: fun f z -> f 1 z