Mercurial > repo
view wisdom/indexed monad @ 12556:79923443dff9 draft default tip
<Sgeo> ` rm -r /hackenv/pli-1.4.1
| author | HackEso <hackeso@esolangs.org> |
|---|---|
| date | Thu, 07 May 2026 23:44:20 +0000 |
| parents | 7f957c1f4661 |
| children |
line wrap: on
line source
Indexed monads are just monads on an indexed category. Indexed monads are just categories enriched over the monoidal category of endofunctors.
