Total functional programming: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 14:4914:49, 20 May 2025 SilkPyjamas talk contribs m 6,287 bytes +87 Adding local short description: "Programming paradigm restricted to provably terminating programs", overriding Wikidata description "non-Turing-complete programming paradigm restricted to provably terminating programs" undo Tag: Shortdesc helper

curprev 10:2510:25, 17 January 2025 GreenC bot talk contribs 6,200 bytes −31 Reformat 1 archive link. Wayback Medic 2.5 per Category:All articles with dead external links undo

curprev 11:3611:36, 20 July 2022 Tea2min talk contribs 6,231 bytes +43 See also Termination analysis. undo

curprev 04:2104:21, 25 October 2020 Bender the Bot talk contribs m 6,188 bytes +1 →Restrictions: HTTP → HTTPS for Wayback Machine, replaced: http://web.archive.org/ → https://web.archive.org/ undo Tag: AWB

curprev 21:4521:45, 19 October 2020 AnomieBOT talk contribs m 6,187 bytes +12 Dating maintenance tags: {{Dead link}} undo
curprev 21:2421:24, 19 October 2020 Goldenshimmer talk contribs 6,175 bytes −48 →Restrictions: trying to get rid of mess undo Tag: Visual edit
curprev 21:2321:23, 19 October 2020 Goldenshimmer talk contribs 6,223 bytes +207 →References: Add archived copy of paper that is now a dead link undo Tag: Visual edit

curprev 07:3707:37, 21 August 2020 WOSlinker talk contribs 6,016 bytes +36 change source to syntaxhighlight undo

curprev 00:2400:24, 30 January 2020 Hairy Dude talk contribs 5,980 bytes −2 →Restrictions: copy edit undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 14:3914:39, 10 December 2019 Citation bot talk contribs m 5,982 bytes −79 Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 23:2023:20, 17 January 2019 Jpbowen talk contribs m 6,061 bytes −1 Link,minor tidying undo

curprev 20:0720:07, 18 October 2018 Hanana Chessibendr talk contribs 6,062 bytes +20 No edit summary undo

curprev 16:0016:00, 19 May 2018 Sietse Snel talk contribs m 6,042 bytes +4 fix citation type in order to resolve cs1 error undo

curprev 11:4211:42, 12 February 2018 93.203.186.224 talk 6,038 bytes +66 The Haskell code wasn't compiling. The function partition wasnt imported and it was used wrong. undo

curprev 18:4318:43, 31 January 2018 129.59.122.29 talk 5,972 bytes −2 Fix ungrammatical sentence undo Tag: Visual edit

curprev 11:1811:18, 10 January 2018 82.95.124.48 talk 5,974 bytes 0 parens in wrong place undo

curprev 03:3303:33, 17 September 2017 KolbertBot talk contribs m 5,974 bytes +1 Bot: HTTP→HTTPS undo

curprev 13:4113:41, 11 September 2016 Matthiaspaul talk contribs 5,973 bytes +26 preparing disamb page undo

curprev 15:3715:37, 20 January 2016 Dough34 talk contribs m 5,947 bytes +4 add link undo

curprev 17:5717:57, 10 November 2015 ChristopheS talk contribs m 5,943 bytes +38 →top: wikilink: David Turner (computer scientist) undo

curprev 04:2304:23, 9 September 2015 173.176.239.161 talk 5,905 bytes +4 No edit summary undo

curprev 18:4718:47, 13 August 2015 Dymaio talk contribs 5,901 bytes +89 Added links to the Haskell and asymptotic-notation pages. undo

curprev 10:4710:47, 23 January 2015 Matěj Grabovský talk contribs m 5,812 bytes −22 syntax highlighting undo

curprev 17:5017:50, 21 March 2014 Mmachenry talk contribs 5,834 bytes −4 No edit summary undo Tag: gettingstarted edit

curprev 05:0705:07, 8 January 2014 GoingBatty talk contribs m 5,838 bytes +26 added <code> tags to protect code from AWB's general fixes undo
curprev 01:4501:45, 8 January 2014 112.199.109.36 talk 5,812 bytes +63 Undid revision 588610808 by BattyBot (talk) - incorrect interpretation of source code undo

curprev 03:0203:02, 1 January 2014 BattyBot talk contribs m 5,749 bytes −62 fixed CS1 errors: dates & General fixes using AWB (9832) undo

curprev 18:5718:57, 24 December 2013 Mandolinface talk contribs 5,811 bytes −8 Minor- (copy edit) undo

curprev 03:0403:04, 16 August 2013 Almkglor talk contribs 5,819 bytes +1,106 Example of assertion. undo

curprev 15:5415:54, 7 March 2013 Yobot talk contribs m 4,713 bytes −1 WP:CHECKWIKI errors fixed + general fixes using AWB (8961) undo

curprev 01:4801:48, 1 March 2013 124.107.146.23 talk 4,714 bytes +400 Add link to "Ensuring termination in ESFP" paper, which AFAIK covers more than mere substructural recursion undo

curprev 05:0605:06, 22 February 2013 Hammertime talk contribs m 4,314 bytes +4 Link to dependent types undo

curprev 10:3110:31, 11 December 2012 Yobot talk contribs m 4,310 bytes +2 clean up, References after punctuation per WP:REFPUNC and WP:CITEFOOT using AWB (8792) undo

curprev 02:0602:06, 13 August 2012 Almkglor talk contribs m 4,308 bytes 0 typo undo
curprev 02:0102:01, 13 August 2012 Almkglor talk contribs 4,308 bytes +269 Itemize for better readability; needs more improvement though... undo

curprev 14:3114:31, 8 July 2012 178.197.233.19 talk 4,039 bytes 0 No edit summary undo
curprev 14:2314:23, 8 July 2012 178.197.233.19 talk 4,039 bytes +347 Add reference to work on lazy vs. eager evaluation in Martin-Löf's type theory. undo
curprev 14:0614:06, 8 July 2012 178.197.233.19 talk 3,692 bytes +401 The claim that codata is required for I/O in total functional programming is wrong. Text updated and reference to alternative approach added. undo

curprev 22:1422:14, 15 June 2012 Daira Emma Hopwood talk contribs 3,291 bytes 0 link refinement type correctly (it's a redirect to a not-entirely-relevant page, but that might improve) undo
curprev 22:0822:08, 15 June 2012 Daira Emma Hopwood talk contribs 3,291 bytes +367 using a possibly-unnatural definition is only one way to extend functions like division to be total; also, correct a technical error in the description of using asymptotic upper bounds undo

curprev 13:1713:17, 5 October 2011 Ruud Koot talk contribs 2,924 bytes +30 Category:Proof assistants undo

curprev 15:0315:03, 18 April 2011 JakobVoss talk contribs m 2,894 bytes +30 +Machine that always halts undo

curprev 06:4506:45, 3 November 2010 Rich Farmbrough talk contribs m 2,864 bytes +43 Delink date fragment or minor clean up using AWB undo

curprev 19:1919:19, 28 June 2010 75.0.181.31 talk 2,821 bytes −15 Minor- undo

curprev 14:4914:49, 28 May 2010 Citation bot 1 talk contribs m 2,836 bytes −1 Citations: [Pu152β]Added: issue. You can use this bot yourself! Report bugs here. undo

curprev 20:1720:17, 5 May 2010 Keith Cascio talk contribs m 2,837 bytes 0 substitute 'while' for 'which' undo

curprev 16:3916:39, 28 December 2009 Skomorokh talk contribs m 2,837 bytes −69 Reverted edits by TheRealSimmonds (talk) to last version by SmackBot undo
curprev 16:1916:19, 28 December 2009 TheRealSimmonds talk contribs m 2,906 bytes +69 No edit summary undo

curprev 04:4204:42, 24 December 2009 SmackBot talk contribs m 2,837 bytes −4 →References: Delink dates (WP:MOSUNLINKDATES) using AWB undo

curprev 06:3006:30, 26 July 2009 Greenrd talk contribs 2,841 bytes +101 principle vs practice undo

20 May 2025

17 January 2025

20 July 2022

25 October 2020

19 October 2020

21 August 2020

30 January 2020

10 December 2019

17 January 2019

18 October 2018

19 May 2018

12 February 2018

31 January 2018

10 January 2018

17 September 2017

11 September 2016

20 January 2016

10 November 2015

9 September 2015

13 August 2015

23 January 2015

21 March 2014

8 January 2014

1 January 2014

24 December 2013

16 August 2013

7 March 2013

1 March 2013

22 February 2013

11 December 2012

13 August 2012

8 July 2012

15 June 2012

5 October 2011

18 April 2011

3 November 2010

28 June 2010

28 May 2010

5 May 2010

28 December 2009

24 December 2009

26 July 2009