Personal tools

Haiku

From HaskellWiki

Revision as of 23:00, 5 December 2008 by Gwern (Talk | contribs)

Jump to: navigation, search

Monad haikus

From Monad laws#But it doesn't look exactly like an "associative law"...:

Monad axioms:
Kleisli composition forms
a category.