X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment6.mdwn;h=7a2bb0f104245dfd9a9382494a386d13dc068fe9;hp=7d10ab58e18dd1fb60386525465ed06028a1ff9e;hb=5f209baee5d46b2d6b52258bcfa77a35a1995f7d;hpb=5eafd339063de2c77f30a7c9aea2ed1c09bc7673 diff --git a/assignment6.mdwn b/assignment6.mdwn index 7d10ab58..7a2bb0f1 100644 --- a/assignment6.mdwn +++ b/assignment6.mdwn @@ -5,7 +5,7 @@ answer along with a count of the number of operations performed during the calculation. That is, the desired behavior should be like this: # lift ( + ) (lift ( / ) (unit 20) (unit 2)) - (lift ( * ) (unit 2) (unit 3)) 0;; + (lift ( * ) (unit 2) (unit 3)) 0;; - : int * int = (16, 3) Here, `lift` is the function that uses `bind` to prepare an ordinary @@ -22,7 +22,7 @@ divide by zero (so there should be no int option types anywhere in your solution). You'll need to define a computation monad type, unit, bind, and lift. -We encourage you to consider this hint: [[Assignment 6 Hint 1]]. +We encourage you to consider this hint: [[hints/Assignment 6 Hint 1]]. 2. Prove that your monad satisfies the monad laws. First, give examples illustrating specific cases in which the monad laws are