Substructural type system: Revision history

21 July 2025

• curprev 03:2003:20, 21 July 2025 Cedar101 talk contribs 13,085 bytes +79 add →Notes undo
• curprev 03:1503:15, 21 July 2025 Cedar101 talk contribs m 13,006 bytes +55 →The resource interpretation: {{rh}} undo
• curprev 03:1303:13, 21 July 2025 Cedar101 talk contribs m 12,951 bytes +149 →Different substructural type systems: {{table alignment}} {{rh}} undo
• curprev 03:0903:09, 21 July 2025 Cedar101 talk contribs 12,802 bytes −592 →Different substructural type systems: list is merged to table undo
• curprev 03:0103:01, 21 July 2025 Cedar101 talk contribs m 13,394 bytes +4 →The resource interpretation: {{Any}} undo
• curprev 03:0003:00, 21 July 2025 Cedar101 talk contribs m 13,390 bytes +14 →Different substructural type systems: {{N/A}} undo

18 January 2025

• curprev 14:0414:04, 18 January 2025 Frap talk contribs m 13,376 bytes +1 →The resource interpretation undo

28 November 2024

• curprev 20:5620:56, 28 November 2024 Rofraja talk contribs 13,375 bytes +106 Filled in 1 bare reference(s) with reFill 2 undo

25 August 2024

• curprev 18:2218:22, 25 August 2024 Okterakt talk contribs m 13,269 bytes 0 →The resource interpretation: replace underscores in a link with spaces undo Tag: Visual edit

21 August 2024

• curprev 11:1711:17, 21 August 2024 Qwerfjkl talk contribs m 13,269 bytes +43 Added 1 {{Bare URL inline}} tag(s) using a script. For other recently-tagged pages with bare URLs, see Category:Articles with bare URLs for citations from August 2024 undo

9 May 2024

• curprev 18:3418:34, 9 May 2024 2610:130:110:104:340c:c6bc:8e2:38a2 talk 13,226 bytes +140 →Programming languages undo

20 March 2024

• curprev 21:5921:59, 20 March 2024 Anordal talk contribs 13,086 bytes −239 →The resource interpretation: rework intro undo
• curprev 21:0621:06, 20 March 2024 Anordal talk contribs 13,325 bytes +27 →The resource interpretation: Let's distinguish the naming from the main interpretation undo

9 March 2024

• curprev 18:0918:09, 9 March 2024 Železná päsť talk contribs 13,298 bytes −24 condense undo Tags: Mobile edit Mobile web edit
• curprev 17:5017:50, 9 March 2024 Železná päsť talk contribs 13,322 bytes −2 →Linear type systems: grammar undo Tags: Mobile edit Mobile web edit

29 January 2024

• curprev 04:0204:02, 29 January 2024 Sammi Brie talk contribs 13,324 bytes +74 Importing Wikidata short description: "Family of type systems based on substructural logic" undo Tag: Shortdesc helper

15 December 2023

• curprev 13:5313:53, 15 December 2023 Anordal talk contribs 13,250 bytes +234 →The resource interpretation: small changes all over undo

7 December 2023

• curprev 20:5320:53, 7 December 2023 Anordal talk contribs m 13,016 bytes −40 →The resource interpretation: nicer intro, hopefully undo

6 December 2023

• curprev 00:3700:37, 6 December 2023 Anordal talk contribs 13,056 bytes +1,703 →The resource interpretation: More on linear undo

27 November 2023

• curprev 21:4021:40, 27 November 2023 Bruce1ee talk contribs m 11,353 bytes 0 fixed lint errors – obsolete HTML tags undo
• curprev 21:1021:10, 27 November 2023 Anordal talk contribs m 11,353 bytes −1 →Linear types undo
• curprev 20:5620:56, 27 November 2023 Anordal talk contribs 11,354 bytes +1,579 →The resource interpretation undo

24 November 2023

• curprev 02:2002:20, 24 November 2023 Anordal talk contribs 9,775 bytes +1,008 →The resource interpretation: Clarify when "use" only concerns transfer of ownership (see discussion) undo

14 November 2023

• curprev 14:0414:04, 14 November 2023 Ancheta Wis talk contribs 8,767 bytes +7 comment out old tag undo

2 September 2023

• curprev 17:3917:39, 2 September 2023 Closed Limelike Curves talk contribs 8,760 bytes −21 →Programming languages undo Tag: Visual edit

14 May 2023

• curprev 01:2101:21, 14 May 2023 Hellacioussatyr talk contribs 8,781 bytes +513 add more data to website references undo Tag: 2017 wikitext editor

19 March 2023

• curprev 11:3311:33, 19 March 2023 Jerryobject talk contribs 8,268 bytes −81 WP:LINKs: needless WP:PIPEs > WP:NOPIPEs, adds, update-standardizes. WP:BADEMPHASIS MOS:BOLDs > WP:ITALICs. MOS:FIRSTABBReviation clarify, define before WP:ABBR in parentheses. undo

31 December 2022

• curprev 02:2102:21, 31 December 2022 2601:40:c280:5b00:459e:d2af:fd2b:ddc0 talk 8,349 bytes −11 Update dead url undo

15 August 2022

• curprev 07:1007:10, 15 August 2022 StrikrIO talk contribs m 8,360 bytes +37 →Programming languages: C++ added undo

28 May 2022

• curprev 05:5305:53, 28 May 2022 WikiCleanerBot talk contribs m 8,323 bytes 0 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

24 May 2022

• curprev 18:2718:27, 24 May 2022 NoctuaDracum talk contribs m 8,323 bytes +28 correct link to point to Rust (programming language) undo
• curprev 18:2618:26, 24 May 2022 NoctuaDracum talk contribs m 8,295 bytes +440 Provide further examples of linear type systems. undo Tag: Visual edit: Switched

22 May 2022

• curprev 23:3223:32, 22 May 2022 Jibal talk contribs 7,855 bytes +37 →Programming languages: Nim supports affine types (per https://nim-lang.github.io/Nim/destructors.html) undo

9 March 2022

• curprev 02:2202:22, 9 March 2022 129.94.8.181 talk 7,818 bytes +39 →Programming languages: rust supports affine types undo

21 February 2022

• curprev 02:3802:38, 21 February 2022 Citation bot talk contribs 7,779 bytes +73 Alter: pages. Add: s2cid, arxiv, doi, pages. Formatted dashes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 570/641 undo

13 February 2022

• curprev 21:4421:44, 13 February 2022 212.251.251.231 talk 7,706 bytes −39 →Programming languages undo

2 December 2021

• curprev 04:1704:17, 2 December 2021 MattF talk contribs m 7,745 bytes +31 →Programming languages: Fix link to disambiguation page undo

1 December 2021

• curprev 06:3506:35, 1 December 2021 MattF talk contribs 7,714 bytes +58 →Programming languages: Remove direct external link in favor of internal + reference undo Tag: Disambiguation links added
• curprev 06:3106:31, 1 December 2021 MattF talk contribs 7,656 bytes +88 Move remaining references to sfn style as it's already the more common one on this page undo
• curprev 06:1606:16, 1 December 2021 MattF talk contribs m 7,568 bytes −25 Remove redundant citation undo
• curprev 06:1406:14, 1 December 2021 MattF talk contribs 7,593 bytes +541 Add another use for linear types undo

9 September 2021

• curprev 09:2009:20, 9 September 2021 Cedar101 talk contribs m 7,052 bytes +42 →Different substructural type systems: {{sdash}} undo

2 March 2021

• curprev 02:1702:17, 2 March 2021 Citation bot talk contribs 7,010 bytes −13 Removed parameters. | Use this bot. Report bugs. | Suggested by Abductive | via #UCB_webform 491/975 undo

31 December 2020

• curprev 05:2205:22, 31 December 2020 Ssg talk contribs m 7,023 bytes +68 →Programming languages: Changed Linear Haskell with regular one undo Tag: 2017 wikitext editor

9 October 2020

• curprev 10:5810:58, 9 October 2020 92.1.61.155 talk 6,955 bytes +47 →Programming languages undo

18 February 2020

• curprev 17:3617:36, 18 February 2020 Dough34 talk contribs m 6,908 bytes −2 →Different substructural type systems: reorder to match table undo Tag: Visual edit

31 January 2020

• curprev 05:2905:29, 31 January 2020 47.134.65.108 talk 6,910 bytes 0 Forgot to reorder sections to reflect new table. undo Tag: Visual edit
• curprev 05:1705:17, 31 January 2020 47.134.65.108 talk 6,910 bytes +162 Edited table for clarity. undo Tag: Visual edit

6 December 2019

• curprev 13:1713:17, 6 December 2019 Frap talk contribs 6,748 bytes 0 →Different substructural type systems undo

6 June 2019

• curprev 17:1817:18, 6 June 2019 TomT0m talk contribs 6,748 bytes +99 →References undo Tag: 2017 wikitext editor