ListT done right: Revision history

4 July 2023

• curprev 13:5413:54, 4 July 2023‎ Ysangkok talk contribs‎ 12,969 bytes +153‎ →‎Introduction: ListT was removed, clarify that

11 March 2023

• curprev 10:4710:47, 11 March 2023‎ Samstaton talk contribs‎ 12,816 bytes +667‎ references. Sorry for the self-reference.
• curprev 10:2710:27, 11 March 2023‎ Samstaton talk contribs‎ m 12,149 bytes +5‎ →‎Introduction
• curprev 10:2610:26, 11 March 2023‎ Samstaton talk contribs‎ m 12,144 bytes +1‎ →‎Introduction
• curprev 10:2610:26, 11 March 2023‎ Samstaton talk contribs‎ m 12,143 bytes +27‎ →‎Introduction
• curprev 10:2410:24, 11 March 2023‎ Samstaton talk contribs‎ 12,116 bytes +816‎ in defence of the original listt
• curprev 10:0210:02, 11 March 2023‎ Samstaton talk contribs‎ 11,300 bytes +430‎ recalling definition of simple listt and being clearer about what's good and bad

9 March 2021

• curprev 05:4705:47, 9 March 2021‎ Atravers talk contribs‎ 10,870 bytes +28‎ Added nondeterminism category

12 May 2015

• curprev 06:2806:28, 12 May 2015‎ NikitaVolkov talk contribs‎ 10,842 bytes +82‎ →‎Implementation

9 July 2014

• curprev 20:0520:05, 9 July 2014‎ Dfeuer talk contribs‎ 10,760 bytes +60‎ No edit summary

27 September 2012

• curprev 19:1519:15, 27 September 2012‎ Petr Pudlak talk contribs‎ 10,700 bytes +1,038‎ A pure example where LiftT fails to preserve associativity (but [] is not commutative).
• curprev 16:2016:20, 27 September 2012‎ Petr Pudlak talk contribs‎ 9,662 bytes −610‎ Undo revision 54090 by Petr Pudlak (Talk)
• curprev 08:5008:50, 27 September 2012‎ Petr Pudlak talk contribs‎ 10,272 bytes +610‎ A pure example where LiftT fails to preserve associativity.
• curprev 08:4008:40, 27 September 2012‎ Petr Pudlak talk contribs‎ m 9,662 bytes 0‎ →‎Examples

26 August 2012

• curprev 12:5912:59, 26 August 2012‎ Sjoerd visscher talk contribs‎ m 9,662 bytes +1‎ →‎Grouping effects: Fixed link

1 January 2010

• curprev 17:3717:37, 1 January 2010‎ Apfelmus talk contribs‎ 9,661 bytes +4‎ →‎Order of printing: Added parenthesis

1 March 2009

• curprev 15:1815:18, 1 March 2009‎ Ertai talk contribs‎ 9,657 bytes −6‎ Remove an extra 'where' keyword.

28 March 2008

• curprev 01:5701:57, 28 March 2008‎ Elliott talk contribs‎ m 9,663 bytes +111‎ No edit summary

14 October 2007

• curprev 19:2119:21, 14 October 2007‎ Dbenbenn talk contribs‎ 9,552 bytes +47‎ typo, and include imports
• curprev 19:0819:08, 14 October 2007‎ Dbenbenn talk contribs‎ m 9,505 bytes +2‎ typo

7 February 2007

• curprev 04:3604:36, 7 February 2007‎ BrettGiles talk contribs‎ m 9,503 bytes +1‎ cateory proposals not proposal

28 January 2007

• curprev 10:2110:21, 28 January 2007‎ Ygale talk contribs‎ 9,502 bytes +28‎ Move ref to examples to end of intro
• curprev 09:5809:58, 28 January 2007‎ Ygale talk contribs‎ 9,474 bytes +9,474‎ No edit summary