# HG changeset patch # User HackBot # Date 1371528644 0 # Node ID 2126d10561e5d43edd45cbea4f4623468b99b0a4 # Parent 960e37f6e42f395803f0740a294a91e5cfc14f88 sed -i \'2s/$/./\' wisdom/indexed\\ monad diff -r 960e37f6e42f -r 2126d10561e5 wisdom/indexed monad --- a/wisdom/indexed monad Mon Jun 17 04:53:04 2013 +0000 +++ b/wisdom/indexed monad Tue Jun 18 04:10:44 2013 +0000 @@ -1,2 +1,2 @@ Indexed monads are just categories enriched over the monoidal category of endofunctors. -Indexed monads are just monads on an indexed category +Indexed monads are just monads on an indexed category.