capitalize c1,c2,c3

[lambda.git] / assignment6.mdwn

diff --git a/assignment6.mdwn b/assignment6.mdwn
index 62d1c5c..7a2bb0f 100644 (file)
--- a/assignment6.mdwn
+++ b/assignment6.mdwn
@@ -2,10 +2,11 @@
 build a system that will evaluate arithmetic expressions.  Instead of
 returning a simple integer as a result, it will deliver the correct
 answer along with a count of the number of operations performed during
 build a system that will evaluate arithmetic expressions.  Instead of
 returning a simple integer as a result, it will deliver the correct
 answer along with a count of the number of operations performed during

-the calculuation.  That is, the desired behavior should be like this:
+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 ( + ) (lift ( / ) (unit 20) (unit 2)) 
+                                  (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


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