Peano numbers: Revision history

26 November 2022

• curprev 20:3820:38, 26 November 2022‎ Andreas.abel talk contribs‎ m 3,590 bytes −17‎ Fix link
• curprev 20:3620:36, 26 November 2022‎ Andreas.abel talk contribs‎ m 3,607 bytes +46‎ Fix one link, mark the other broken

9 January 2018

• curprev 20:2320:23, 9 January 2018‎ Palik talk contribs‎ 3,561 bytes +16‎ →‎Peano number types: no wiki page for fundep. Replace it by Functional_dependencies

24 October 2014

• curprev 12:0712:07, 24 October 2014‎ Lemming talk contribs‎ 3,545 bytes +9‎ →‎Peano number values: update link to code.haskell.org

14 May 2012

• curprev 22:0622:06, 14 May 2012‎ Henk-Jan van Tuyl talk contribs‎ 3,536 bytes −9‎ →‎Peano number types: Improved lay-out (the <haskell> tag does not handle indentation nicely)
• curprev 22:0422:04, 14 May 2012‎ Henk-Jan van Tuyl talk contribs‎ m 3,545 bytes −2‎ →‎Peano number values: Improved lay-out
• curprev 22:0222:02, 14 May 2012‎ Henk-Jan van Tuyl talk contribs‎ 3,547 bytes −1‎ →‎Lazy counting: constructs -> traverses
• curprev 21:5721:57, 14 May 2012‎ Henk-Jan van Tuyl talk contribs‎ m 3,548 bytes 0‎ →‎Lazy counting
• curprev 21:5621:56, 14 May 2012‎ Henk-Jan van Tuyl talk contribs‎ 3,548 bytes +33‎ →‎Lazy counting: replaced "length constructs all list nodes", as the nodes are not really constructed (try in GHCI: length [undefined])

14 February 2010

• curprev 17:1917:19, 14 February 2010‎ Benmachine talk contribs‎ m 3,515 bytes −3‎ grammar correction correction

22 September 2009

• curprev 15:2715:27, 22 September 2009‎ Benmachine talk contribs‎ m 3,518 bytes +4‎ minor grammar correction

30 September 2008

• curprev 14:1614:16, 30 September 2008‎ Lemming talk contribs‎ 3,514 bytes +5‎ Numeric Prelude

23 June 2008

• curprev 19:3819:38, 23 June 2008‎ Dominus talk contribs‎ m 3,509 bytes +4‎ lk "fundep"

29 May 2008

• curprev 22:3122:31, 29 May 2008‎ MichalPalka talk contribs‎ 3,505 bytes +67‎ Rephrase why peano numbers are used mainly in type arithmethic.

3 July 2007

• curprev 12:1812:18, 3 July 2007‎ Lemming talk contribs‎ 3,438 bytes +181‎ code markup
• curprev 12:0612:06, 3 July 2007‎ Lemming talk contribs‎ 3,257 bytes +1,338‎ applications
• curprev 11:4511:45, 3 July 2007‎ Lemming talk contribs‎ 1,919 bytes +227‎ example implementations

6 November 2006

• curprev 11:4211:42, 6 November 2006‎ Lemming talk contribs‎ 1,692 bytes +25‎ Category:mathematics

22 October 2006

• curprev 11:4011:40, 22 October 2006‎ Lemming talk contribs‎ 1,667 bytes +90‎ example implementation

9 October 2006

• curprev 00:1100:11, 9 October 2006‎ DonStewart talk contribs‎ m 1,577 bytes +22‎ category

1 February 2006

• curprev 20:3620:36, 1 February 2006‎ Ashley Y talk contribs‎ 1,555 bytes +49‎ No edit summary

25 January 2006

• curprev 02:1002:10, 25 January 2006‎ Ashley Y talk contribs‎ m 1,506 bytes −3‎ No edit summary
• curprev 02:1002:10, 25 January 2006‎ Ashley Y talk contribs‎ 1,509 bytes +577‎ No edit summary
• curprev 02:0302:03, 25 January 2006‎ Ashley Y talk contribs‎ m 932 bytes +4‎ No edit summary

24 January 2006

• curprev 20:3320:33, 24 January 2006‎ Ashley Y talk contribs‎ m 928 bytes +21‎ +cat
• curprev 19:5919:59, 24 January 2006‎ Ashley Y talk contribs‎ 907 bytes +907‎ No edit summary