Intersection type: 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 10:2410:24, 23 November 2024 Slafer talk contribs 25,512 bytes −10 fix typo: type type -> type undo

curprev 04:3804:38, 11 September 2024 InternetArchiveBot talk contribs 25,522 bytes +116 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

curprev 12:2712:27, 20 November 2023 Frap talk contribs m 25,406 bytes +15 →TypeScript example undo

curprev 15:0115:01, 22 August 2023 Headbomb talk contribs 25,391 bytes −135 Add: url, series, chapter, title. Removed proxy/dead URL that duplicated identifier. | Use this tool. Report bugs. | #UCB_Gadget undo
curprev 14:5614:56, 22 August 2023 Citation bot talk contribs 25,526 bytes +98 Alter: title, template type. Add: date, chapter-url, chapter. Removed or converted URL. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

curprev 01:5301:53, 17 August 2023 CapitalTheSheepmunk talk contribs 25,428 bytes +16 Ceylon is no longer developed. undo Tag: Visual edit: Switched

curprev 22:1522:15, 8 March 2023 87.99.180.203 talk 25,412 bytes −69 →Comparison of languages with intersection types: This is no longer the case since PHP 8.2 undo

curprev 17:5017:50, 30 January 2023 Citation bot talk contribs 25,481 bytes +89 Add: url, isbn. | Use this bot. Report bugs. | Suggested by Kline | Category:Type theory | #UCB_Category 80/111 undo

curprev 17:5817:58, 21 January 2023 Achmad Rachmani talk contribs 25,392 bytes −4 →Scala example: Book title = series undo
curprev 15:0315:03, 21 January 2023 Citation bot talk contribs 25,396 bytes +73 Alter: template type. Add: website, s2cid. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 1028/1746 undo

curprev 13:3313:33, 22 January 2022 Kavuldra talk contribs m 25,323 bytes +19 →Intersection of a type family: made the type family intersection expressions use inline math style, so they don't change the line-height too much. undo Tag: Visual edit

curprev 02:3202:32, 9 January 2022 JohnFromPinckney talk contribs m 25,304 bytes −1 programm->program - Fix a typo in one click undo

curprev 02:4702:47, 25 November 2021 152.44.209.37 talk 25,305 bytes +257 →Comparison of languages with intersection types undo

curprev 18:4618:46, 2 November 2021 87.115.108.3 talk 25,048 bytes +16 Add "Type systems" infobox undo

curprev 19:4219:42, 30 August 2021 73.140.239.248 talk 25,032 bytes 0 →TypeScript example: typo uncommitted -> uncommented undo

curprev 17:4417:44, 12 July 2021 Ayeshrajans talk contribs 25,032 bytes +514 PHP 8.1+ supports Intersection Types. undo

curprev 21:3721:37, 29 March 2021 OAbot talk contribs m 24,518 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 18:4318:43, 17 January 2021 Monkbot talk contribs m 24,501 bytes +17 Task 18 (cosmetic): eval 27 templates: hyphenate params (17×); undo Tag: AWB

curprev 05:0005:00, 1 December 2020 Monkbot talk contribs m 24,484 bytes −8 Task 18 (cosmetic): eval 27 templates: del empty params (1×); undo Tag: AWB

curprev 21:5821:58, 14 November 2020 Sietse talk contribs m 24,492 bytes 0 Fix typo in within-page link undo

curprev 23:1923:19, 5 October 2020 David Eppstein talk contribs 24,492 bytes +45 Mariangiola Dezani-Ciancaglini undo

curprev 16:1016:10, 30 September 2020 Citation bot talk contribs 24,447 bytes −4 Alter: title. | You can use this bot yourself. Report bugs here. | Suggested by SemperIocundus | via #UCB_webform undo

curprev 21:0821:08, 24 August 2020 Aindurti talk contribs m 24,451 bytes −6 Reword sentence that uses abbreviation for respectively. undo Tag: Visual edit

curprev 17:1317:13, 27 July 2020 BalinKingOfMoria talk contribs 24,457 bytes +26 →Dependent intersection type undo Tag: 2017 wikitext editor

curprev 00:4400:44, 18 April 2020 OAbot talk contribs m 24,431 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 23:5023:50, 16 February 2020 Dhtwiki talk contribs 24,414 bytes −83 removing  and {{GOCEinuse}} as article markedly improved since 04:21, 02 August 2019 placement of "copy edit" template undo
curprev 22:1522:15, 16 February 2020 Dhtwiki talk contribs 24,497 bytes +12 dating comment undo
curprev 22:1022:10, 16 February 2020 Dhtwiki talk contribs 24,485 bytes +40 commenting out {{copy edit|date=August 2019}} and placing {{GOCEinuse}} undo

curprev 23:3123:31, 19 January 2020 Leyo talk contribs m 24,445 bytes −5 fixing syntax error undo

curprev 06:2506:25, 12 January 2020 Zuvii talk contribs m 24,450 bytes 0 Changes in grammatical mistakes. undo

curprev 12:2712:27, 19 December 2019 Frap talk contribs m 24,450 bytes +4 →TypeScript example undo

curprev 19:5419:54, 16 December 2019 2a02:908:1655:d0a0:c949:fa8:46a4:458e talk 24,446 bytes +1 typo "TypeSript" => "TypeScript" undo

curprev 13:0213:02, 14 December 2019 Citation bot talk contribs m 24,445 bytes +8 Misc citation tidying. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 18:3018:30, 11 December 2019 Tardifkara talk contribs m 24,437 bytes +2 fixed minor spelling error undo Tag: Visual edit

curprev 13:1613:16, 6 December 2019 Frap talk contribs 24,435 bytes 0 MOS:HEAD undo

curprev 11:1311:13, 21 November 2019 IK1313 talk contribs m 24,435 bytes −5 No edit summary undo Tag: Visual edit

curprev 00:4400:44, 10 October 2019 Hei314 talk contribs 24,518 bytes −4 No edit summary undo Tag: Visual edit

curprev 01:5501:55, 28 September 2019 152.7.255.226 talk 24,522 bytes −10 →TypeScript Example undo

curprev 12:5812:58, 1 September 2019 PK650 talk contribs 24,532 bytes −3 Repeat undo
curprev 12:5612:56, 1 September 2019 PK650 talk contribs 24,535 bytes +1 Assigned to values that can be assigned? Easy fix. undo

curprev 07:5407:54, 16 August 2019 Mrhaandi talk contribs m 24,534 bytes +89 →Dependent intersection type: commas, better wording undo

curprev 15:1515:15, 15 August 2019 Mrhaandi talk contribs 24,445 bytes +494 →Dependent intersection type: added reference for path-dependent type undo
curprev 14:4714:47, 15 August 2019 Mrhaandi talk contribs m 23,951 bytes +33 added Scala link undo
curprev 14:3614:36, 15 August 2019 Mrhaandi talk contribs 23,918 bytes +562 →Dependent intersection type: added remark on dependent record types undo
curprev 14:1614:16, 15 August 2019 Mrhaandi talk contribs 23,356 bytes +513 →Dependent intersection type: typos, more explanation undo

23 November 2024

11 September 2024

20 November 2023

22 August 2023

17 August 2023

8 March 2023

30 January 2023

21 January 2023

22 January 2022

9 January 2022

25 November 2021

2 November 2021

30 August 2021

12 July 2021

29 March 2021

17 January 2021

1 December 2020

14 November 2020

5 October 2020

30 September 2020

24 August 2020

27 July 2020

18 April 2020

16 February 2020

19 January 2020

12 January 2020

19 December 2019

16 December 2019

14 December 2019

11 December 2019

6 December 2019

21 November 2019

14 October 2019

10 October 2019

28 September 2019

1 September 2019

16 August 2019

15 August 2019