projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
60a80b8
)
edits
author
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 04:54:03 +0000
(23:54 -0500)
committer
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 04:54:03 +0000
(23:54 -0500)
zipper-lists-continuations.mdwn
patch
|
blob
|
history
diff --git
a/zipper-lists-continuations.mdwn
b/zipper-lists-continuations.mdwn
index
0f0662f
..
326d0e5
100644
(file)
--- 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