projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
b9ab5e6
)
edits
author
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 05:19:19 +0000
(
00:19
-0500)
committer
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 05:19:19 +0000
(
00:19
-0500)
zipper-lists-continuations.mdwn
patch
|
blob
|
history
diff --git
a/zipper-lists-continuations.mdwn
b/zipper-lists-continuations.mdwn
index
0ef9436
..
f05ea00
100644
(file)
--- a/
zipper-lists-continuations.mdwn
+++ b/
zipper-lists-continuations.mdwn
@@
-125,8
+125,8
@@
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
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. We're going to use type 3 lists, partly because
I
know
-they'll give the result
I
want, but also because they're the coolest.
+course. We're going to use type 3 lists, partly because
we
know
+they'll give the result
we
want, but also because they're the coolest.
These were the lists that made lists look like Church numerals with
extra bits embdded in them:
These were the lists that made lists look like Church numerals with
extra bits embdded in them: