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;hp=60a80b81826715a6d5a8e9c53c3d19ea25b8dbdf 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