Proving a monadic equivalence: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

7 October 2020

  • curprev 08:1708:17, 7 October 2020‎ Mike talk contribs‎ 1,372 bytes +1,372‎ Created page with "{{Proglan}} The operations of a monad must obey the three laws, # Associativity: @@(xm @> f) @> g = xm @> (\ x -> f x @> g)@@, # Left identity: @@result x @> f = f x@@, # Righ..."
Retrieved from "https://spivey.oriel.ox.ac.uk/proglan-x/Proving_a_monadic_equivalence"