# HG changeset patch # User HackBot # Date 1371444725 0 # Node ID be0f5ac8c3e7f476f2b9dcbffef0f5e39904f966 # Parent 14bb673e965a03e1c4ac77c02230f750d0aeb599 mv \'indexed monad\' wisdom/ diff -r 14bb673e965a -r be0f5ac8c3e7 indexed monad --- 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. diff -r 14bb673e965a -r be0f5ac8c3e7 wisdom/indexed monad --- /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.