commentary on ass6 solutions
[lambda.git] / assignment6.mdwn
index 5f8c1b6..82aee95 100644 (file)
@@ -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]].
 
+       <div style="color: red">See our [commentary](/hints/assignment_6_commentary) on your solutions.</div>
+
+
 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