projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a6c01f0
)
fix "arrow"
author
jim
<jim@web>
Thu, 19 Mar 2015 22:35:17 +0000
(18:35 -0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Thu, 19 Mar 2015 22:35:17 +0000
(18:35 -0400)
topics/week7_introducing_monads.mdwn
patch
|
blob
|
history
diff --git
a/topics/week7_introducing_monads.mdwn
b/topics/week7_introducing_monads.mdwn
index
b04f517
..
75d0cee
100644
(file)
--- a/
topics/week7_introducing_monads.mdwn
+++ b/
topics/week7_introducing_monads.mdwn
@@
-84,7
+84,7
@@
For instance, the following are Kleisli arrows:
In the first, `P` has become `int` and `Q` has become `bool`. (The boxed type <code><u>Q</u></code> is <code><u>bool</u></code>).
Note that the left-hand schema `P` is permitted to itself be a boxed type. That is, where
-if `α list` is our box type, we can write the second
arrow as
+if `α list` is our box type, we can write the second
type as:
<code><u>int</u> -> <u>int list</u></code>