X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=assignment6.mdwn;h=a31cbf8a8b2ac51ea3a27701892f37d6be423db9;hb=1d3dba7d49400782f8d5529e4a3c850f4ab7f16c;hp=82aee95f9bdcb506e52c1307a54a15ce9340e899;hpb=ce6251343f916dcbfeb7160aff5b1312fa31ce7f;p=lambda.git 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