Foldr Foldl Foldl': Revision history

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.

29 March 2019

25 February 2019

5 April 2016

29 January 2016

16 August 2015

7 August 2015

7 December 2012

2 August 2012

15 December 2011

21 November 2011

22 September 2011

7 July 2011

1 February 2011

22 April 2010

17 April 2010

10 July 2009

31 March 2009

26 March 2009

22 March 2009

16 February 2009

8 January 2009

5 November 2008

6 July 2008

4 July 2008