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:
ae88be9
)
fix formatting of `1`
author
jim
<jim@web>
Thu, 19 Mar 2015 22:51:48 +0000
(18:51 -0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Thu, 19 Mar 2015 22:51:48 +0000
(18:51 -0400)
exercises/assignment7.mdwn
patch
|
blob
|
history
diff --git
a/exercises/assignment7.mdwn
b/exercises/assignment7.mdwn
index
22152fe
..
3d21629
100644
(file)
--- a/
exercises/assignment7.mdwn
+++ b/
exercises/assignment7.mdwn
@@
-76,7
+76,7
@@
as a function from a type to a type. Call this type function M, and let P, Q, R,
Recall that a monad requires a singleton function `mid : P-> MP`, and a
composition operator `>=> : (P->MQ) -> (Q->MR) -> (P->MR)`. The type for
the composition operator stated here corrects a typo in the class handout.
Recall that a monad requires a singleton function `mid : P-> MP`, and a
composition operator `>=> : (P->MQ) -> (Q->MR) -> (P->MR)`. The type for
the composition operator stated here corrects a typo in the class handout.
-Also, in the handout we called `mid`
<b>1</b>
. But now we've decided that `mid`
+Also, in the handout we called `mid`
`𝟭`
. But now we've decided that `mid`
is better. (Think of it as "m" plus "identity", not as the start of "midway".)
We will also move freely back and forth between using `>=>` and using `<=<` (aka `mcomp`), which
is better. (Think of it as "m" plus "identity", not as the start of "midway".)
We will also move freely back and forth between using `>=>` and using `<=<` (aka `mcomp`), which