cat theory tweaks
authorJim Pryor <profjim@jimpryor.net>
Tue, 2 Nov 2010 17:00:34 +0000 (13:00 -0400)
committerJim Pryor <profjim@jimpryor.net>
Tue, 2 Nov 2010 17:00:34 +0000 (13:00 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
advanced_topics/monads_in_category_theory.mdwn

index 5183242..d5c0941 100644 (file)
@@ -596,6 +596,6 @@ Summarizing (ii''), (iii.1''), (iii.2''), these are the monadic laws as usually
 
        Usually written reversed:
 
 
        Usually written reversed:
 
-       return b >>= gamma  =  gamma b
+       `return b >>= gamma  =  gamma b`