User contributions
Jump to navigation
Jump to search
- 19:15, 27 September 2012 diff hist +1,038 ListT done right A pure example where LiftT fails to preserve associativity (but [] is not commutative).
- 16:20, 27 September 2012 diff hist -610 ListT done right Undo revision 54090 by Petr Pudlak (Talk)
- 08:50, 27 September 2012 diff hist +610 ListT done right A pure example where LiftT fails to preserve associativity.
- 08:40, 27 September 2012 diff hist 0 m ListT done right →Examples