X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=advanced_topics%2Fmonads_in_category_theory.mdwn;h=d5c0941da9a74e539a9e4944ca686ed0473ae91e;hb=115b2bc2456adb01295e074ccc825942e45c46c0;hp=518324244503cd52d93077d5b49db45e1f6fb59d;hpb=95e37df6ddcd64a91b2e9e49531933bad2084c7a;p=lambda.git 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`