bad news: they seem to have invented something called "Double Category Theory"
cannot wait to here "a double-monad is a double-monoid in the double-category of double-endofunctors" when i'm learning double-haskell in 20 years
=> More informations about this toot | View the thread | More toots from aDot@treehouse.systems
text/geminiThis content has been proxied by September (ba2dc).