markup

diff --git a/topics/week9_monad_transformers.mdwn b/topics/week9_monad_transformers.mdwn
index 6d8b5b7..b019043 100644 (file)
--- a/topics/week9_monad_transformers.mdwn
+++ b/topics/week9_monad_transformers.mdwn
@@ -172,7 +172,7 @@ This is fun. Notice the difference it makes whether the second `++` is native to
        # LL.(run(mid 1 ++ mid 2 >>= fun x -> mid x ++ mid (10*x) ));;
        - : int LL.result = \[[1; 10; 2; 20]]
        #  LL.(run(mid 1 ++ mid 2 >>= fun x -> hoist Monad.List.(mid x ++ mid (10*x) )));;
        # LL.(run(mid 1 ++ mid 2 >>= fun x -> mid x ++ mid (10*x) ));;
        - : int LL.result = \[[1; 10; 2; 20]]
        #  LL.(run(mid 1 ++ mid 2 >>= fun x -> hoist Monad.List.(mid x ++ mid (10*x) )));;

-       - : int LL.result = \[[1; 2]; [1; 20]; [10; 2]; [10; 20]]
+       - : int LL.result = [[1; 2]; [1; 20]; [10; 2]; [10; 20]]

 
 <!--
        # EL.(run((++) (throw "bye") (mid 20) >>= fun i -> mid (i+10)));;
 
 <!--
        # EL.(run((++) (throw "bye") (mid 20) >>= fun i -> mid (i+10)));;