X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=list_monad_as_continuation_monad.mdwn;h=e4772f88888a50876a370d8af6c53d88ad1da608;hp=9aec23de7c835ffee6507c160f5744a80e201121;hb=db35cd7468a6353ab2c15a1381edbc550a2ecc61;hpb=acdcd8024b3b3da1396069dba591a2f40f55efcc

diff --git a/list_monad_as_continuation_monad.mdwn b/list_monad_as_continuation_monad.mdwn
index 9aec23de..e4772f88 100644
--- 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