Mercurial > repo

diff wisdom/indexed monad @ 3343:76820f8a4c50

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<Bike> revert
author HackBot
date Wed, 31 Jul 2013 20:53:16 +0000
parents c777e2d91031
children
line wrap: on
line diff
--- a/wisdom/indexed monad	Wed Jul 31 20:46:16 2013 +0000
+++ b/wisdom/indexed monad	Wed Jul 31 20:53:16 2013 +0000
@@ -1,2 +1,2 @@
-.yrogetac dexedni na no sdanom tsuj era sdanom dexednI
-.srotcnufodne fo yrogetac ladionom eht revo dehcirne seirogetac tsuj era sdanom dexednI
+Indexed monads are just monads on an indexed category.
+Indexed monads are just categories enriched over the monoidal category of endofunctors.