X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment6.mdwn;h=a31cbf8a8b2ac51ea3a27701892f37d6be423db9;hp=82aee95f9bdcb506e52c1307a54a15ce9340e899;hb=27ce0d45d4ab28840605ec2130f6ba4ecd9d6213;hpb=ce6251343f916dcbfeb7160aff5b1312fa31ce7f diff --git a/assignment6.mdwn b/assignment6.mdwn index 82aee95f..a31cbf8a 100644 --- a/assignment6.mdwn +++ b/assignment6.mdwn @@ -24,7 +24,7 @@ your solution). You'll need to define a computation monad type, unit, bind, and lift2. We encourage you to consider this hint: [[hints/Assignment 6 Hint 1]]. -
See our [commentary](/hints/assignment_6_commentary) on your solutions.
+ See our [commentary](/hints/assignment_6_commentary) on your solutions. 2. Prove that your monad satisfies the monad laws. First, give