Jump to content

Related changes

← Substructural type system

Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.

Recent changes optionsShow last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide unregistered users | Hide my edits | Show bots | Hide minor edits | Show page categorization | Show Wikidata | Hide probably good edits
Show new changes starting from 20:57, 21 May 2025

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

List of abbreviations (help):

D: Edit made at Wikidata
r: Edit flagged by ORES
N: New page
m: Minor edit
b: Bot edit
(±123): Page byte size change
: Temporarily watched page

21 May 2025

diffhist Quantum computing 17:47 +288 Stepwise Continuous Dysfunction talk contribs (→History: separate original BB84 and 30th anniversary reprint)

20 May 2025

diffhist Rust (programming language) 20:32 +126 Suriname0 talk contribs (Add fun detail about apartment elevator) Tag: 2017 wikitext editor
diffhist Swift (programming language) 15:44 +150 BappleBusiness talk contribs (→History: added cleanup tag) Tag: Visual edit
diffhist Swift (programming language) 15:42 −272 BappleBusiness talk contribs (moving the history of the lead into the history section) Tag: Visual edit
diffhist m Linear logic 10:22 +290 Marc Schroeder talk contribs (→Further reading)
diffhist m Linear logic 06:21 +149 Marc Schroeder talk contribs (→Further reading: } isbn)
diffhist Computer file 03:02 −172 115.131.38.61 talk (It's more like a byproduct of procrastination (like I'm doing now). Also, it was a bit verbose.) Tag: Visual edit
diffhist Substructural logic 01:53 +609 Marc Schroeder talk contribs

19 May 2025

diffhist Rust (programming language) 05:13 +51 ScalarFactor talk contribs (→Mozilla layoffs and Rust Foundation (2020–present): citation update)
diffhist Swift (programming language) 03:42 +54 ScalarFactor talk contribs (→Libraries, runtime, development: fix author/publisher citation for 5.9 release)

17 May 2025

diffhist F* (programming language) 22:17 +1 46.193.65.196 talk (influenced by: updated Coq → Rocq)
diffhist F* (programming language) 22:14 −2 46.193.65.196 talk (Updated the access date of the GitHub reference since the repository was visited in order to make the previous change)
diffhist F* (programming language) 22:12 0 46.193.65.196 talk (According to the GitHub repository, F* has seen new releases since 2023. The last one was just two months ago.)
diffhist API 03:22 0 HueMan1 talk contribs (not a proper noun) Tags: Mobile edit Mobile web edit

Retrieved from "https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Substructural_type_system"