<shachaf> mv \'indexed monad\' wisdom/
| author |
HackBot |
| date |
Mon, 17 Jun 2013 04:52:05 +0000 |
| parents |
14bb673e965a |
| children |
960e37f6e42f |
| files |
indexed monad wisdom/indexed monad |
| diffstat |
2 files changed, 1 insertions(+), 1 deletions(-)
[+]
|
line diff
--- a/indexed monad Mon Jun 17 04:51:26 2013 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Indexed monads are just categories enriched over the monoidal category of endofunctors.
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/indexed monad Mon Jun 17 04:52:05 2013 +0000
@@ -0,0 +1,1 @@
+Indexed monads are just categories enriched over the monoidal category of endofunctors.
