argh... Haskell vs OCaml
authorjim <jim@web>
Thu, 19 Mar 2015 22:52:55 +0000 (18:52 -0400)
committerLinux User <ikiwiki@localhost.members.linode.com>
Thu, 19 Mar 2015 22:52:55 +0000 (18:52 -0400)
exercises/assignment7.mdwn

index 3d21629..37a84c0 100644 (file)
@@ -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.