From adfec786a8d1caa0ae42c1d392c76e99d305a975 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Fri, 26 Nov 2010 23:54:15 -0500 Subject: [PATCH] edits --- zipper-lists-continuations.mdwn | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) 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 -- 2.11.0