tweak cat theory

[lambda.git] / assignment6.mdwn

diff --git a/assignment6.mdwn b/assignment6.mdwn
index 853403d..f1a892a 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)) 
-                                 (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