ListT done right - Revision history

Petr Pudlak: A pure example where LiftT fails to preserve associativity (but [] is not commutative).

Petr Pudlak — Thu, 27 Sep 2012 19:15:55 GMT

A pure example where LiftT fails to preserve associativity (but [] is not commutative).

Petr Pudlak — Thu, 27 Sep 2012 16:20:53 GMT

Undo revision 54090 by Petr Pudlak (Talk)

Petr Pudlak — Thu, 27 Sep 2012 08:50:35 GMT

A pure example where LiftT fails to preserve associativity.

Petr Pudlak — Thu, 27 Sep 2012 08:40:03 GMT

Examples

Sjoerd visscher — Sun, 26 Aug 2012 12:59:39 GMT

Grouping effects: Fixed link

Apfelmus — Fri, 01 Jan 2010 17:37:39 GMT

Order of printing: Added parenthesis

Ertai — Sun, 01 Mar 2009 15:18:15 GMT

Remove an extra 'where' keyword.

Elliott — Fri, 28 Mar 2008 01:57:27 GMT

Dbenbenn — Sun, 14 Oct 2007 19:21:08 GMT

typo, and include imports

Dbenbenn — Sun, 14 Oct 2007 19:08:14 GMT

typo