Hope (programming language): 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 15:3515:35, 23 March 2025 Dsannella talk contribs m 6,102 bytes +2 Wikipedia cross reference to Don Sannella undo
curprev 15:3215:32, 23 March 2025 Dsannella talk contribs 6,100 bytes +35 Added conference name to 1980 Hope paper reference undo

curprev 15:3115:31, 16 January 2025 Dgpop talk contribs 6,065 bytes −6 →top: removed word with no context undo
curprev 15:3015:30, 16 January 2025 Dgpop talk contribs 6,071 bytes +4 →Language details: link undo

curprev 15:1615:16, 15 January 2025 Dgpop talk contribs 6,067 bytes −9 →External links: annotation undo
curprev 15:1515:15, 15 January 2025 Dgpop talk contribs 6,076 bytes −24 →Language details: phrasing undo

curprev 16:5216:52, 9 October 2023 92.28.236.58 talk 4,441 bytes +37 →External links: Category undo

curprev 16:4916:49, 24 June 2023 Drmies talk contribs m 4,404 bytes −22 rv socking undo Tag: Rollback

curprev 06:5406:54, 9 June 2023 Exquisite2 talk contribs 4,426 bytes +22 evaluation undo Tags: Reverted Visual edit

curprev 10:2810:28, 7 November 2021 Gbawden talk contribs m 4,404 bytes +4 link John Darlington using Find link undo

curprev 14:0914:09, 22 March 2021 Tom.Reding talk contribs m 4,400 bytes +24 +{{Authority control}} (1 ID from Wikidata), WP:GenFixes on undo Tag: AWB

curprev 03:2903:29, 7 February 2021 Citation bot talk contribs 4,376 bytes +18 Add: s2cid, author pars. 1-1. Removed parameters. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Suggested by Abductive | Category:Academic programming languages | via #UCB_Category 33/35 undo

curprev 21:5521:55, 16 November 2020 WikiCleanerBot talk contribs m 4,358 bytes 0 v2.04b - Bot T20 CW#61 - WP:WCW project (Reference before punctuation) undo Tag: WPCleaner

curprev 16:0416:04, 7 February 2020 Bumm13 talk contribs m 3,774 bytes +2 formatting fix undo

curprev 14:3614:36, 6 February 2020 Tea2min talk contribs 3,772 bytes −31 Undid revision 939432894 by Widefox (talk): Haskell syntax highlighting doesn't really work well for Hope code: Haskell uses double-hyphen-minus to start line comments, while Hope uses triple-hyphen-minus to add patterns/equations to a function definition. undo Tag: Undo
curprev 12:5112:51, 6 February 2020 Widefox talk contribs 3,803 bytes +31 →Language details: markup (using plausible lang) undo
curprev 12:4612:46, 6 February 2020 Widefox talk contribs 3,772 bytes −22 →External links: destub undo

curprev 11:0611:06, 5 December 2019 Citation bot talk contribs m 3,794 bytes −69 Alter: template type. Add: date. Removed URL that duplicated unique identifier. Removed parameters. Some additions/deletions were actually parameter name changes.| You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 12:3912:39, 26 August 2019 154.0.11.18 talk 3,863 bytes +4 Wikilink `algebraic data types`. undo

curprev 11:2111:21, 8 July 2019 194.61.223.68 talk 3,859 bytes +56 →External links: Category undo

curprev 10:3010:30, 8 October 2018 193.205.210.82 talk 3,803 bytes +289 added citation, found here: https://en.wikipedia.org/wiki/Algebraic_data_type undo Tag: Visual edit

curprev 23:3223:32, 29 August 2018 Smasongarrison talk contribs m 3,514 bytes −2 re-categorisation per CFD undo Tag: AWB

curprev 17:4617:46, 4 July 2018 Dgpop talk contribs m 3,516 bytes 0 →References: capitalization undo
curprev 17:4517:45, 4 July 2018 Dgpop talk contribs 3,516 bytes +12 →Implementations: link + italics undo
curprev 17:4317:43, 4 July 2018 Dgpop talk contribs 3,504 bytes −114 clean-up pass undo

curprev 03:2403:24, 18 May 2018 Dgpop talk contribs 3,618 bytes −170 →top: removed unsourced parenthetical undo

curprev 11:5111:51, 11 April 2018 Omnipaedista talk contribs 3,788 bytes −1 No edit summary undo

curprev 17:1917:19, 25 February 2018 Triptropic talk contribs m 3,789 bytes +72 wikilinks, corrected Uni name undo Tag: Visual edit

curprev 10:4310:43, 2 February 2018 Tea2min talk contribs 3,717 bytes −1,290 Undid revision 823614303 by Mr jarves (talk): Not the programming language this article is about. undo Tag: Undo
curprev 09:3309:33, 2 February 2018 Mr jarves talk contribs m 5,007 bytes +1,290 Add details undo Tag: Visual edit

curprev 23:3423:34, 12 January 2018 Mr jarves talk contribs 3,717 bytes +1 No edit summary undo Tag: Visual edit

curprev 23:1523:15, 22 December 2017 38.86.167.91 talk 3,716 bytes +198 Added an implementation details undo

curprev 14:4014:40, 30 October 2016 Dgpop talk contribs 3,518 bytes +52 →External links: category undo

curprev 03:3403:34, 4 September 2016 GreenC bot talk contribs m 3,466 bytes +4 →External links: WaybackMedic 2 undo

curprev 16:0316:03, 27 February 2016 Dgpop talk contribs 3,462 bytes −368 links for NPL and Burstall, removed stale ref, new section undo

curprev 19:0919:09, 25 February 2016 Dgpop talk contribs 3,830 bytes +44 →External links: category undo

23 March 2025

16 January 2025

15 January 2025

14 January 2025

9 October 2023

24 June 2023

9 June 2023

7 November 2021

22 March 2021

7 February 2021

16 November 2020

24 June 2020

7 February 2020

6 February 2020

5 December 2019

26 August 2019

8 July 2019

8 October 2018

29 August 2018

4 July 2018

18 May 2018

11 April 2018

25 February 2018

2 February 2018

12 January 2018

22 December 2017

30 October 2016

4 September 2016

27 February 2016

25 February 2016