projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5fc93a6
)
markup
author
jim
<jim@web>
Mon, 23 Mar 2015 14:20:51 +0000
(10:20 -0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Mon, 23 Mar 2015 14:20:51 +0000
(10:20 -0400)
exercises/assignment7.mdwn
patch
|
blob
|
history
diff --git
a/exercises/assignment7.mdwn
b/exercises/assignment7.mdwn
index
f26f5d8
..
029a779
100644
(file)
--- a/
exercises/assignment7.mdwn
+++ b/
exercises/assignment7.mdwn
@@
-78,7
+78,7
@@
boxed types. Here, a "boxed type" is a type function with one unsaturated
hole (which may have several occurrences, as in `(α,α) tree`). We can think of the box type
as a function from a type to a type.
hole (which may have several occurrences, as in `(α,α) tree`). We can think of the box type
as a function from a type to a type.
-Recall that a monad requires a singleton function <code>⇧ (
* mid
*) : P-> <u>P</u></code>, and a
+Recall that a monad requires a singleton function <code>⇧ (
\* mid \
*) : P-> <u>P</u></code>, and a
composition operator like <code>>=> : (P-><u>Q</u>) -> (Q-><u>R</u>) -> (P-><u>R</u>)</code>.
As we said in the notes, we'll move freely back and forth between using `>=>` and using `<=<` (aka `mcomp`), which
composition operator like <code>>=> : (P-><u>Q</u>) -> (Q-><u>R</u>) -> (P-><u>R</u>)</code>.
As we said in the notes, we'll move freely back and forth between using `>=>` and using `<=<` (aka `mcomp`), which