From: Chris Barker Date: Sat, 27 Nov 2010 04:54:03 +0000 (-0500) Subject: edits X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=ed41d27c213c6eed4432fb353974fa9b8e30c75a edits --- diff --git a/zipper-lists-continuations.mdwn b/zipper-lists-continuations.mdwn index 0f0662f7..326d0e54 100644 --- a/zipper-lists-continuations.mdwn +++ b/zipper-lists-continuations.mdwn @@ -121,7 +121,7 @@ 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 take a *completely useless digressing* and see if we can +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