From: Jim Pryor Date: Tue, 2 Nov 2010 17:00:34 +0000 (-0400) Subject: cat theory tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=115b2bc2456adb01295e074ccc825942e45c46c0 cat theory tweaks Signed-off-by: Jim Pryor --- 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`