projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b0f9d72
)
(no commit message)
author
chris
<chris@web>
Fri, 20 Mar 2015 15:54:09 +0000
(11:54 -0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Fri, 20 Mar 2015 15:54:09 +0000
(11:54 -0400)
topics/week7_introducing_monads.mdwn
patch
|
blob
|
history
diff --git
a/topics/week7_introducing_monads.mdwn
b/topics/week7_introducing_monads.mdwn
index
4b6ed35
..
5bc139f
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, if `α list` is our box type, and `P` is t
o
boxed type
+type. That is, if `α list` is our box type, and `P` is t
he
boxed type
`int list`, we can write the boxed type that has `P` as its left-hand
side as