manip trees: tweaks

[lambda.git] / list_monad_as_continuation_monad.mdwn

diff --git a/list_monad_as_continuation_monad.mdwn b/list_monad_as_continuation_monad.mdwn
index 9aec23d..e4772f8 100644 (file)
--- a/list_monad_as_continuation_monad.mdwn
+++ b/list_monad_as_continuation_monad.mdwn
@@ -357,6 +357,8 @@ This can be eta-reduced to:
 
        let l'_unit a = fun k -> k a
 
+and:
+
        let l'_bind u f =
            (* we mentioned three versions of this, the fully eta-expanded: *)
            fun k z -> u (fun a b -> f a k b) z