Personal tools

Haiku

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
 
(Monad haikus: source)
Line 1: Line 1:
 
== Monad haikus ==
 
== Monad haikus ==
<blockquote>Monad axioms:
+
From [[Monad laws#But it doesn't look exactly like an "associative law"...]]:
Kleisli composition forms
+
a category.</blockquote>
+
<blockquote>
  +
Monad axioms:<br/>
  +
Kleisli composition forms<br/>
  +
a category.
  +
</blockquote>

Revision as of 23:00, 5 December 2008

Monad haikus

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

Monad axioms:
Kleisli composition forms
a category.