X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment6.mdwn;h=82aee95f9bdcb506e52c1307a54a15ce9340e899;hp=5f8c1b65c82744b72f56df3c28ff2084ebedabe6;hb=ce6251343f916dcbfeb7160aff5b1312fa31ce7f;hpb=c9a9cb39ae6852c63c43d80ed4ebb05aec6c1e05 diff --git a/assignment6.mdwn b/assignment6.mdwn index 5f8c1b65..82aee95f 100644 --- a/assignment6.mdwn +++ b/assignment6.mdwn @@ -24,6 +24,9 @@ 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.
+ + 2. Prove that your monad satisfies the monad laws. First, give examples illustrating specific cases in which the monad laws are obeyed, then explain (briefly, not exhaustively) why the laws hold in