X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment6.mdwn;h=a31cbf8a8b2ac51ea3a27701892f37d6be423db9;hp=5f8c1b65c82744b72f56df3c28ff2084ebedabe6;hb=8f043cd83b65c90928ab884d52be168b93d23a6c;hpb=ebed7bf68237f042849d0ebfeed8095a5f7d14a4
diff --git a/assignment6.mdwn b/assignment6.mdwn
index 5f8c1b65..a31cbf8a 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