index 8c62e73..7a2bb0f 100644 (file)
@@ -5,8 +5,8 @@ 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;;
-                   - : int * int = (16, 3)
+                                  (lift ( * ) (unit 2) (unit 3)) 0;;
+                     - : int * int = (16, 3)

Here, `lift` is the function that uses `bind` to prepare an ordinary
arithmetic operator (such as addition `( + )`, division `( / )`, or

Here, `lift` is the function that uses `bind` to prepare an ordinary
arithmetic operator (such as addition `( + )`, division `( / )`, or
@@ -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]].