Arrow (computer science): Revision history

17 November 2023

• curprev 21:5721:57, 17 November 2023 Elaifiknow talk contribs 14,065 bytes −13 Edited type declarations of combinators to match more standard notational conventions undo Tag: Visual edit

18 August 2023

• curprev 11:0811:08, 18 August 2023 OAbot talk contribs m 14,078 bytes −4 Open access bot: doi updated in citation with #oabot. undo

16 July 2023

• curprev 01:2101:21, 16 July 2023 Jlwoodwa talk contribs m 14,082 bytes +11 upd link undo

17 June 2023

• curprev 18:3118:31, 17 June 2023 Citation bot talk contribs 14,071 bytes +15 Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Functional programming | #UCB_Category 21/67 undo

11 October 2022

• curprev 22:4422:44, 11 October 2022 Eutrou talk contribs 14,056 bytes +77 Link to disambiguation page undo Tag: Disambiguation links added

6 July 2021

• curprev 11:5411:54, 6 July 2021 OAbot talk contribs m 13,979 bytes +17 Open access bot: doi added to citation with #oabot. undo

6 May 2021

• curprev 16:4716:47, 6 May 2021 OAbot talk contribs m 13,962 bytes +17 Open access bot: hdl added to citation with #oabot. undo

24 February 2021

• curprev 01:0101:01, 24 February 2021 2605:a601:a612:d500:d911:8fbc:998d:7231 talk 13,945 bytes +345 →Limitations: Added a comment about profunctors undo
• curprev 00:4600:46, 24 February 2021 2605:a601:a612:d500:d911:8fbc:998d:7231 talk 13,600 bytes +38 →Functions: Composition is necessary for the definition of an Arrow. It cannot be derived from 'arr' and 'first'. A definition can also be provided using only 'arr' and '***'. There are many other operators from which they _could_ be derived (but are not). The 'id' of Category can be defined as 'arr id'. undo

13 January 2021

• curprev 15:1515:15, 13 January 2021 Monkbot talk contribs m 13,562 bytes +8 Task 18 (cosmetic): eval 9 templates: hyphenate params (8×); undo Tag: AWB

24 September 2020

• curprev 12:2912:29, 24 September 2020 WikiCleanerBot talk contribs m 13,554 bytes 0 v2.03b - Bot T20 CW#61 - WP:WCW project (Reference before punctuation) undo Tag: WPCleaner

11 May 2020

• curprev 17:2417:24, 11 May 2020 DannyS712 bot talk contribs m 13,554 bytes +180 Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

17 April 2020

• curprev 01:3201:32, 17 April 2020 OAbot talk contribs m 13,374 bytes +33 Open access bot: hdl, doi added to citation with #oabot. undo

13 December 2019

• curprev 15:0615:06, 13 December 2019 Citation bot talk contribs m 13,341 bytes −345 Add: hdl. Removed URL that duplicated unique identifier. Removed accessdate with no specified URL. Removed parameters. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

2 December 2019

• curprev 11:3611:36, 2 December 2019 Frap talk contribs 13,686 bytes −4 →Relation to category theory: remove link from header undo

30 November 2019

• curprev 18:0018:00, 30 November 2019 Jochen Burghardt talk contribs 13,690 bytes −19 No edit summary undo

12 September 2019

• curprev 08:0508:05, 12 September 2019 Monkbot talk contribs m 13,709 bytes +3 →Functions: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

13 July 2019

• curprev 17:3217:32, 13 July 2019 2601:140:8000:a739:640c:d883:c6c1:6a7e talk 13,706 bytes +28 →Motivation and history: Rewrite bizarrely tensed sentence setting out the timeline undo

15 March 2019

• curprev 17:3417:34, 15 March 2019 Avelludo talk contribs 13,678 bytes −32 Remove dated HTML tags, reformat a couple citations undo Tag: 2017 wikitext editor

24 February 2019

• curprev 20:2020:20, 24 February 2019 AnomieBOT talk contribs m 13,710 bytes +19 Dating maintenance tags: {{Cleanup HTML}} undo
• curprev 19:5919:59, 24 February 2019 Beland talk contribs 13,691 bytes +17 {{cleanup HTML}} undo

18 February 2019

• curprev 00:1200:12, 18 February 2019 Citation bot talk contribs m 13,674 bytes −83 Alter: issue. Add: year, chapter-format, chapter-url. Removed parameters. Formatted dashes. | You can use this bot yourself. Report bugs here. | User-activated. undo

7 February 2019

• curprev 22:2422:24, 7 February 2019 GeordieMcBain talk contribs 13,757 bytes −302 deleted dead (& probably private) url for Hughes (1998), and associated fields accessdate and format; 'The page you looked for has not been found' undo

8 November 2018

• curprev 00:5900:59, 8 November 2018 Nick Moyes talk contribs 14,059 bytes +4,392 Reverted 2 edits by 69.181.120.251 (talk) to last revision by Agdalover. (TW) undo Tag: Undo
• curprev 00:5800:58, 8 November 2018 69.181.120.251 talk 9,667 bytes −2,096 →Arrow laws undo Tag: section blanking
• curprev 00:5700:57, 8 November 2018 69.181.120.251 talk 11,763 bytes −2,296 →Sericulture undo Tag: section blanking

20 October 2018

• curprev 20:2020:20, 20 October 2018 Agdalover talk contribs m 14,059 bytes +7 →Limitations: Better style undo
• curprev 20:1920:19, 20 October 2018 Agdalover talk contribs 14,052 bytes +1,421 Limitations of arrows undo

31 December 2017

• curprev 22:5322:53, 31 December 2017 Götz talk contribs m 12,631 bytes +3 →Definition undo

27 August 2017

• curprev 11:1411:14, 27 August 2017 KolbertBot talk contribs m 12,628 bytes +1 Bot: HTTP→HTTPS undo

18 August 2017

• curprev 03:0903:09, 18 August 2017 GreenC bot talk contribs m 12,627 bytes +109 Rescued 1 archive link; remove 1 link. Wayback Medic 2.1 undo

9 July 2017

• curprev 15:0315:03, 9 July 2017 InternetArchiveBot talk contribs 12,518 bytes +85 Rescuing 1 sources and tagging 1 as dead. #IABot (v1.4) undo

11 May 2017

• curprev 15:0015:00, 11 May 2017 Giantjelly talk contribs m 12,433 bytes +15 No edit summary undo

22 February 2017

• curprev 07:4107:41, 22 February 2017 Materialscientist talk contribs m 12,418 bytes −76 Reverted edits by 117.239.83.193 (talk) to last version by InternetArchiveBot undo
• curprev 07:1807:18, 22 February 2017 117.239.83.193 talk 12,494 bytes +76 No edit summary undo Tags: nowiki added Visual edit repeating characters

18 October 2016

• curprev 15:0415:04, 18 October 2016 InternetArchiveBot talk contribs 12,418 bytes +42 Rescuing 1 sources and tagging 0 as dead. #IABot (v1.2.5) undo

3 August 2016

• curprev 21:3821:38, 3 August 2016 Ruud Koot talk contribs 12,376 bytes 0 disambig. undo

18 March 2016

• curprev 23:5323:53, 18 March 2016 Bgwhite talk contribs 12,376 bytes −10 Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP using AWB (11971) undo

23 December 2015

• curprev 04:1904:19, 23 December 2015 72.178.179.132 talk 12,386 bytes −8 →Arrow laws undo
• curprev 04:1804:18, 23 December 2015 72.178.179.132 talk 12,394 bytes −4 →Functions undo
• curprev 04:1804:18, 23 December 2015 72.178.179.132 talk 12,398 bytes −17 →Functions undo
• curprev 04:1404:14, 23 December 2015 72.178.179.132 talk 12,415 bytes −4 →Arrow laws undo
• curprev 04:1304:13, 23 December 2015 72.178.179.132 talk 12,419 bytes −4 →Functions undo
• curprev 04:1304:13, 23 December 2015 72.178.179.132 talk 12,423 bytes +4 →Functions undo
• curprev 04:1004:10, 23 December 2015 72.178.179.132 talk 12,419 bytes −4 →Functions undo
• curprev 04:0604:06, 23 December 2015 72.178.179.132 talk 12,423 bytes −4 →Functions undo

8 July 2015

• curprev 15:2715:27, 8 July 2015 Rhoark talk contribs m 12,427 bytes −4 rm redlink undo

17 March 2015

• curprev 06:5406:54, 17 March 2015 BG19bot talk contribs m 12,431 bytes +4 WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (10839) undo

16 March 2015

• curprev 12:1312:13, 16 March 2015 163.1.88.5 talk 12,427 bytes +297 Added reference undo

27 December 2014

• curprev 13:0313:03, 27 December 2014 Comp.arch talk contribs 12,130 bytes +59 Silence strange chapter error.. and lower case per WP:MOS undo