Jump to content

Related changes

← Agda (programming language)

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 13:01, 19 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

19 May 2025

diffhist m PureScript 11:10 −39 Jerryobject talk contribs (→Features: Small WP:COPYEDITs WP:EoS: WP:TERSE, cut needless word repeats. WP:LINK update-standardize.)
diffhist Emacs 08:27 +452 LastJabberwocky talk contribs (→Other forks of GNU Emacs: merging with Meadow)
diffhist Community of practice 05:09 +91 80.222.153.62 talk (→Versus communities of interest)

18 May 2025

diffhist Johanneberg Science Park 22:37 +69 Kaffet i halsen talk contribs (added Category:21st-century establishments in Västra Götaland County using HotCat)
diffhist m Open-source software 01:44 −282 TonySt talk contribs (Reverted 1 edit by 37.30.10.30 (talk) to last revision by 2600:1700:5390:5CCF:C6D4:8101:ECE4:2CBE) Tags: Twinkle Undo
diffhist Open-source software 01:43 +282 37.30.10.30 talk Tags: Reverted Mobile edit Mobile web edit
diffhist Programming language 01:42 +99 Headbomb talk contribs (→2000s to present: | Altered template type. Add: class, date, title, eprint, authors 1-4. Changed bare reference to CS1/2. Removed parameters. Some additions/deletions were parameter name changes. | Use this tool. Report bugs. | #UCB_Gadget)

17 May 2025

diffhist Template:Haskell programming 22:45 −42 Liz talk contribs (Removing link(s) / list item(s) Wikipedia:Articles for deletion/House (operating system) closed as delete (XFDcloser))
diffhist m Programming paradigm 18:38 +2 TheGoodAndHolyLord talk contribs (→top) Tags: Mobile edit Mobile app edit Android app edit App select source

16 May 2025

diffhist Web framework 14:20 +24 Iacobuspaulicus talk contribs (→Server-side: add Seaside)
diffhist Programming language implementation 12:53 −1 37.154.166.127 talk (→Multiple implementations)
diffhist m Swedish language 11:55 −7 Entranced98 talk contribs (Reverted edit by 83.148.251.7 (talk) to last version by GreenC bot) Tag: Rollback
diffhist Swedish language 11:53 +7 83.148.251.7 talk (Its true) Tag: Reverted
diffhist m GitHub 11:48 +3,540 Materialscientist talk contribs (Reverted edits by 2402:800:637C:747B:EA18:C2B5:936E:3C14 (talk): unexplained content removal (HG) (3.4.13)) Tags: Huggle Rollback
diffhist GitHub 11:46 −3,540 2402:800:637c:747b:ea18:c2b5:936e:3c14 talk Tags: Reverted Visual edit Mobile edit Mobile web edit
diffhist Unicode 04:15 −37 Drmccreedy talk contribs (Undid revision 1290621652 by 176.29.17.211 (talk) revert vandalism) Tag: Undo

15 May 2025

diffhist Unicode 23:23 +37 176.29.17.211 talk Tags: Reverted Visual edit Mobile edit Mobile web edit
diffhist BSD licenses 13:02 −38 2620:15c:3c:200:dc4c:33cc:57a3:c611 talk (→Previous license: Add SPDX short form, previously said none)
diffhist Programming paradigm 06:39 +248 182.252.74.223 talk Tags: Mobile edit Mobile web edit

14 May 2025

diffhist Curry–Howard correspondence 20:39 +4 Grapesurgeon talk contribs (Changing short description from "Theorem in computer science and math" to "Relationship between programs and proofs") Tag: Shortdesc helper
diffhist Curry–Howard correspondence 20:38 −38 Grapesurgeon talk contribs (WP:SD40) Tag: Shortdesc helper
diffhist Programming language 19:35 −269 Annh07 talk contribs (Reverted 1 pending edit by 103.161.69.109 to revision 1290130854 by DMacks) Tag: Manual revert
diffhist Programming language 19:34 +269 103.161.69.109 talk (→Definitions) Tags: Reverted Mobile edit Mobile web edit

13 May 2025

diffhist m SystemVerilog 23:49 +17 Rkieferbaum talk contribs (→History: +internal link) Tag: Visual edit
diffhist m Package manager 11:03 +70 Shamuner talk contribs (Improve synaptic image label)
diffhist Curry–Howard correspondence 10:03 +39 2a02:a03f:695c:9200:9e7:196b:2a28:1f1b talk (Add link to free/bonded variable article)
diffhist m Programming language 00:40 +335 DMacks talk contribs (Reverted edit by 2601:5CF:4681:E060:9163:FBDF:2584:5F25 (talk) to last version by Nyakase) Tag: Rollback
diffhist Programming language 00:38 −335 2601:5cf:4681:e060:9163:fbdf:2584:5f25 talk Tags: Reverted Mobile edit Mobile web edit

12 May 2025

diffhist Pattern matching 19:44 +32 Frap talk contribs (→See also: add portal)
diffhist Programming paradigm 16:52 +143 Opolito talk contribs (Reverted 2 edits by Shafaeth Hossain (talk): Removed wikilinks without explanation) Tags: Twinkle Undo
diffhist Pattern matching 15:33 +30 Minilexikon talk contribs (Sub headlines (→Haskell: and →OCaml: )) Tag: 2017 wikitext editor
diffhist Pattern matching 15:30 +38 Minilexikon talk contribs (Group related sections under a parent section for better structure →Types: and →Usage) Tag: 2017 wikitext editor
diffhist m John MacFarlane (philosopher) 13:45 +3 Oneequalsequalsone talk contribs Tag: Visual edit

Retrieved from "https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Agda_(programming_language)"