Jump to content

Related changes

← Typed lambda calculus

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 12:32, 25 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

25 May 2025

diffhist Cambridge University Press 03:45 −9 Nedrutland talk contribs (→Publications: "Easter Wings" et al.)

24 May 2025

diffhist m Calculus of constructions 17:38 −83 Jet Pilot talk contribs (Reverted edits by 102.208.96.70 (talk) to last version by AnomieBOT: nonconstructive edits) Tags: Rollback SWViewer [1.6]
diffhist Calculus of constructions 17:37 +83 102.208.96.70 talk (ABSTAA224679181.fuahad) Tags: Reverted Mobile edit Mobile web edit
diffhist m Pure type system 16:45 0 Gert7 talk contribs Tag: 2017 wikitext editor

23 May 2025

diffhist m Computer programming 09:01 −1 Adfontes18 talk contribs (→Context: Clarified reference)

22 May 2025

diffhist Computable function 23:24 −1 80.208.68.44 talk (typo: "computiong" -> "computing") Tag: Visual edit

18 May 2025

diffhist Halting problem 22:58 −11 Kvng talk contribs (rv unnec) Tag: Manual revert

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