projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
31384d6
)
argh... Haskell vs OCaml
author
jim
<jim@web>
Thu, 19 Mar 2015 22:52:55 +0000
(18:52 -0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Thu, 19 Mar 2015 22:52:55 +0000
(18:52 -0400)
exercises/assignment7.mdwn
patch
|
blob
|
history
diff --git
a/exercises/assignment7.mdwn
b/exercises/assignment7.mdwn
index
3d21629
..
37a84c0
100644
(file)
--- a/
exercises/assignment7.mdwn
+++ b/
exercises/assignment7.mdwn
@@
-112,7
+112,7
@@
More specifically,
(If you have trouble keeping straight what is the OCaml terminology for this and what is the Haskell terminology, don't worry, we do too.)
(If you have trouble keeping straight what is the OCaml terminology for this and what is the Haskell terminology, don't worry, we do too.)
-Now the obvious singleton for the Option monad is `\p.
Just
p`. Give
+Now the obvious singleton for the Option monad is `\p.
Some
p`. Give
(or reconstruct) either of the composition operators `>=>` or `<=<`.
Show that your composition operator obeys the Monad Laws.
(or reconstruct) either of the composition operators `>=>` or `<=<`.
Show that your composition operator obeys the Monad Laws.