Added assignmemnt 6

[lambda.git] / assignment6.mdwn

diff --git a/assignment6.mdwn b/assignment6.mdwn
index b21050b..62d1c5c 100644 (file)
--- a/assignment6.mdwn
+++ b/assignment6.mdwn
@@ -16,11 +16,11 @@ steps.  By the way, that zero at the end provides the monadic object
 with a starting point (0 relevant computations have occurred previous
 to the current computation).
 
 with a starting point (0 relevant computations have occurred previous
 to the current computation).
 

-Assume for the purposes of this excercise that no one ever tries to
+   Assume for the purposes of this excercise that no one ever tries to

 divide by zero (so there should be no int option types anywhere in
 your solution).
 
 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.
+     You'll need to define a computation monad type, unit, bind, and lift.

 We encourage you to consider this hint: [[Assignment 6 Hint 1]].
 
 2. Prove that your monad satisfies the monad laws.  First, give
 We encourage you to consider this hint: [[Assignment 6 Hint 1]].
 
 2. Prove that your monad satisfies the monad laws.  First, give