From: Jim Pryor <profjim@jimpryor.net>
Date: Wed, 1 Dec 2010 07:07:05 +0000 (-0500)
Subject: lists-monad tweaks
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=87abf2f5507409788f94c7f9ac0efdec212ec11d

lists-monad tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

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