Mercurial > repo
changeset 3151:2126d10561e5
<shachaf> sed -i \'2s/$/./\' wisdom/indexed\\ monad
| author | HackBot |
|---|---|
| date | Tue, 18 Jun 2013 04:10:44 +0000 |
| parents | 960e37f6e42f |
| children | 17b30e4513cf |
| files | wisdom/indexed monad |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- 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.