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