X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=zipper-lists-continuations.mdwn;h=142a2ba88d63ba3d4b31816c80af7c36a490284d;hp=326d0e54981fbb93052d08112ae50a99e7fe5cba;hb=adfec786a8d1caa0ae42c1d392c76e99d305a975;hpb=ed41d27c213c6eed4432fb353974fa9b8e30c75a

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