move link

[lambda.git] / exercises / assignment7.mdwn

diff --git a/exercises/assignment7.mdwn b/exercises/assignment7.mdwn
index e9cf823..7ec7a47 100644 (file)
--- a/exercises/assignment7.mdwn
+++ b/exercises/assignment7.mdwn
@@ -129,4 +129,9 @@ is the singleton function `\p. [p]`, and the composition operator is:
 
         let j a = [a; a+1];;
         let k b = [b*b; b+b];;
-        (j >=> k) 7 (* ==> [49; 14; 64; 16] *)
+        (j >=> k) 7
+        (* which OCaml evaluates to:
+        - : int list = [49; 14; 64; 16]
+        *)
+
+    Show that these obey the Monad Laws.