Related changes
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.
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
9 June 2024
- diffhist m Wayback Machine 15:22 −40 Annh07 talk contribs (Reverted edit by Boymellowstinks (talk) to last version by Dollasdal) Tag: Rollback
- diffhist m Wayback Machine 15:22 +40 Boymellowstinks talk contribs Tags: Reverted repeated addition of external links by non-autoconfirmed user
8 June 2024
- diffhist m Wayback Machine 17:49 +20 Dollasdal talk contribs (→See also)
- diffhist m Wayback Machine 17:44 +178 Dollasdal talk contribs
7 June 2024
- diffhist Lambda calculus 18:11 +17 Xland44 talk contribs (TM and LC are equivaent) Tag: Visual edit
- diffhist Semigroup 07:50 +24 David Eppstein talk contribs (→See also: Compact semigroup)
6 June 2024
- diffhist m Wayback Machine 23:56 +122 Suffusion of Yellow talk contribs (rv mass removal of content with misleading edit summaries) Tag: Rollback
- diffhist Wayback Machine 23:13 −122 2600:1006:b18a:33ec:1119:c2ea:e414:6f47 talk (→External links: added content) Tags: Reverted possibly inaccurate edit summary Mobile edit Mobile web edit
- diffhist Hindley–Milner type system 16:27 −33 Phantom Hoover talk contribs (→Typing rules: The derivation as written violates the premise of the Let rule that e_1's type is a monotype; moving the application of Gen to the end seems to fix this; I'm not sure it has the same intended didactic value, but it's at least not incorrect.)
- diffhist m Type inference 15:36 +2 MattWithTwoTees talk contribs (→{{anchor|algorithm}}Hindley–Milner type inference algorithm: use n-dash for Hindley–Milner)
- diffhist Type system 14:28 0 Dinsm8re talk contribs (wording arrangement) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Type system 14:18 −4 Dinsm8re talk contribs (removed red link) Tags: Visual edit Mobile edit Mobile web edit
5 June 2024
- diffhist Function (mathematics) 18:28 −198 Pichpich talk contribs (Revert. Just follow this url: https://books.google.ca/books?id=x6cZBQ9qtgoC&pg=PA30) Tag: Manual revert
- diffhist Function (mathematics) 18:11 +198 Jochen Burghardt talk contribs (Undid revision 1227431107 by Pichpich (talk): couldn't access 1970 EN edition; my 1976 DE translation doesn't mention synonyms at all; the google link leads to a 1998 edition (and refuses to display its p.30); so I challenge "literally what the source says", for now) Tags: Undo Reverted
- diffhist Function (mathematics) 17:45 −198 Pichpich talk contribs (remove cn tag. This is literally what the source says.) Tag: Reverted
- diffhist Substitution (logic) 17:43 +66 Jochen Burghardt talk contribs (→First-order logic: the restriction xi != ti indeed has to be stated (and is required by the cited authors), cf. talk; fix circumscription of "dom(sigma) disjoint to vars(ran(sigma))")
- diffhist Function (mathematics) 17:41 +258 Pichpich talk contribs (remove citation needed tag and add ref) Tag: ProveIt edit
- diffhist Substitution (logic) 17:27 +12 Jochen Burghardt talk contribs (Undid revision 1227260550 by Caleb Stanford (talk): "iff" is well-sourced (e.g. Baader.Snyder, p.446, line 6-7)) Tag: Undo
- diffhist m Wayback Machine 12:43 +5,821 Fieryninja talk contribs (Reverted 1 edit by 72.0.149.114 (talk) to last revision by REDACTED403) Tags: Twinkle Undo
- diffhist Wayback Machine 12:34 −5,821 72.0.149.114 talk (→History) Tags: Reverted blanking
4 June 2024
- diffhist Substitution (logic) 18:11 −12 Caleb Stanford talk contribs (→First-order logic: fix per talk page) Tags: Reverted 2017 wikitext editor