From 87abf2f5507409788f94c7f9ac0efdec212ec11d Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Wed, 1 Dec 2010 02:07:05 -0500 Subject: [PATCH] lists-monad tweaks Signed-off-by: Jim Pryor --- list_monad_as_continuation_monad.mdwn | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.11.0