cat theory tweaks

[lambda.git] / assignment6.mdwn

diff --git a/assignment6.mdwn b/assignment6.mdwn
index f1a892a..7a2bb0f 100644 (file)
--- a/assignment6.mdwn
+++ b/assignment6.mdwn
@@ -22,7 +22,7 @@ divide by zero (so there should be no int option types anywhere in
 your solution).
 
      You'll need to define a computation monad type, unit, bind, and lift.
 your solution).
 
      You'll need to define a computation monad type, unit, bind, and lift.

-We encourage you to consider this hint: [[Assignment 6 Hint 1]].
+We encourage you to consider this hint: [[hints/Assignment 6 Hint 1]].

 
 2. Prove that your monad satisfies the monad laws.  First, give
 examples illustrating specific cases in which the monad laws are
 
 2. Prove that your monad satisfies the monad laws.  First, give
 examples illustrating specific cases in which the monad laws are