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:
c8fd563
)
edits
author
Chris
<chris.barker@nyu.edu>
Fri, 20 Mar 2015 15:53:20 +0000
(11:53 -0400)
committer
Chris
<chris.barker@nyu.edu>
Fri, 20 Mar 2015 15:53:20 +0000
(11:53 -0400)
topics/week7_introducing_monads.mdwn
patch
|
blob
|
history
diff --git
a/topics/week7_introducing_monads.mdwn
b/topics/week7_introducing_monads.mdwn
index
60a36aa
..
4b6ed35
100644
(file)
--- a/
topics/week7_introducing_monads.mdwn
+++ b/
topics/week7_introducing_monads.mdwn
@@
-93,7
+93,7
@@
side as
If it's clear that we're uniformly talking about the same box type (in
this example, `α list`), we can equivalently write
-<code><u>int</u> -> <
u><u>int</u></u
></code>
+<code><u>int</u> -> <
span class="box2">int</span
></code>
Here are some examples of values of these Kleisli arrow types, where the box type is `α list`, and the Kleisli arrow types are <code>int -> <u>int</u></code> (that is, `int -> int list`) or <code>int -> <u>bool</u></code>: