From 115b2bc2456adb01295e074ccc825942e45c46c0 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 2 Nov 2010 13:00:34 -0400 Subject: [PATCH] cat theory tweaks Signed-off-by: Jim Pryor --- advanced_topics/monads_in_category_theory.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn index 51832424..d5c0941d 100644 --- a/advanced_topics/monads_in_category_theory.mdwn +++ b/advanced_topics/monads_in_category_theory.mdwn @@ -596,6 +596,6 @@ Summarizing (ii''), (iii.1''), (iii.2''), these are the monadic laws as usually Usually written reversed: - return b >>= gamma = gamma b + `return b >>= gamma = gamma b` -- 2.11.0