Monad laws - Revision history

Ehird: possible half-way point?

Ehird — Thu, 05 Apr 2012 18:00:28 GMT

possible half-way point?

Twey — Thu, 05 Apr 2012 17:56:16 GMT

Forgot a line.

Ehird — Thu, 05 Apr 2012 17:53:47 GMT

eta-reduce

Twey — Thu, 05 Apr 2012 17:52:31 GMT

Made layout more prominent.

Ehird — Thu, 05 Apr 2012 17:47:42 GMT

eliminate references to law #N

Twey — Thu, 05 Apr 2012 17:36:08 GMT

Colons for consistency.

Twey — Thu, 05 Apr 2012 17:35:31 GMT

Take non-Haskell outside Haskell tags, give code layout

Ehird — Thu, 05 Apr 2012 17:22:45 GMT

formatting, clarification, and some additional info

Ehird — Thu, 05 Apr 2012 17:16:12 GMT

nicer presentation of the do-notation laws

Jpf — Sun, 01 Jan 2012 03:52:23 GMT