X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=assignment6.mdwn;h=7a2bb0f104245dfd9a9382494a386d13dc068fe9;hb=ee8f58410e6055b18ec2b7dc5854707f5680689e;hp=f1a892aa440f9e2b4cf6dfb254ebca7a1fd8d585;hpb=b6d91e7ba6477182b6f830b80a61be9b21a18a86;p=lambda.git diff --git a/assignment6.mdwn b/assignment6.mdwn index f1a892aa..7a2bb0f1 100644 --- 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. -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