capitalize c1,c2,c3

[lambda.git] / assignment6.mdwn

diff --git a/assignment6.mdwn b/assignment6.mdwn
index 7d10ab5..7a2bb0f 100644 (file)
--- a/assignment6.mdwn
+++ b/assignment6.mdwn
@@ -5,7 +5,7 @@ answer along with a count of the number of operations performed during
 the calculation.  That is, the desired behavior should be like this:
 
                  # lift ( + ) (lift ( / ) (unit 20) (unit 2)) 
 the calculation.  That is, the desired behavior should be like this:
 
                  # lift ( + ) (lift ( / ) (unit 20) (unit 2)) 

-                                   (lift ( * ) (unit 2) (unit 3)) 0;;
+                                  (lift ( * ) (unit 2) (unit 3)) 0;;

                      - : int * int = (16, 3)
 
     Here, `lift` is the function that uses `bind` to prepare an ordinary
                      - : int * int = (16, 3)
 
     Here, `lift` is the function that uses `bind` to prepare an ordinary


@@ -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