projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
81869b1
)
(no commit message)
author
chris
<chris@web>
Mon, 30 Mar 2015 01:58:39 +0000
(21:58 -0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Mon, 30 Mar 2015 01:58:39 +0000
(21:58 -0400)
topics/_week8_reader_monad.mdwn
patch
|
blob
|
history
diff --git
a/topics/_week8_reader_monad.mdwn
b/topics/_week8_reader_monad.mdwn
index
9266ab3
..
d49f837
100644
(file)
--- a/
topics/_week8_reader_monad.mdwn
+++ b/
topics/_week8_reader_monad.mdwn
@@
-24,7
+24,7
@@
This meant
changing the type of their input from ints to int options. But we
didn't need to do this piecemeal; rather, we could "lift" the ordinary
arithmetic operations into the monad using the various tools provided
changing the type of their input from ints to int options. But we
didn't need to do this piecemeal; rather, we could "lift" the ordinary
arithmetic operations into the monad using the various tools provided
-by the monad.
+by the monad.
We'll go over this lifting operation in detail in the next section.
## Tracing the effect of safe-div on a larger computation
## Tracing the effect of safe-div on a larger computation