Related changes

27 May 2025

• diffhist Clojure 18:20 −61 Grapesurgeon talk contribs (MOS:REPEATLINK) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
• diffhist Yoneda lemma 09:53 +128 Quezergue talk contribs Tag: Visual edit
• diffhist Scala (programming language) 08:50 +2 92.86.215.33 talk
• diffhist Yoneda lemma 08:45 +8 Quezergue talk contribs Tag: Visual edit

26 May 2025

• diffhist Natural deduction 18:40 +2,098 Marc Schroeder talk contribs (added Suppes–Lemmon proofs of (i) ¬¬(p ∨ ¬p) and (ii) (p ∨ ¬p))
• diffhist Category theory 14:21 −36 Tea2min talk contribs (Undid revision 1292269643 by Roscroft (talk): These uses of redirects instead of piped links are intentional and conventional. See MOS:NOPIPE and WP:INTDABLINK.) Tags: Undo Disambiguation links added
• diffhist m Category theory 03:05 +36 Roscroft talk contribs (swapping out internal redirects for true links) Tags: Reverted Disambiguation links added

25 May 2025

• diffhist m Natural deduction 21:42 −2,675 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
• diffhist m Natural deduction 20:09 −3 Arjayay talk contribs (Duplicate word reworded)
• diffhist Natural deduction 18:34 +3,898 Marc Schroeder talk contribs (corrected 2 examples of Suppes–Lemmon proofs; added a reference to Fitch-style notation; added an intro to Suppes–Lemmon)
• diffhist m Natural deduction 02:48 −50 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)

24 May 2025

• diffhist m Natural deduction 21:07 +7 Marc Schroeder talk contribs (→Gentzen-style propositional logic)
• diffhist Natural deduction 20:36 +1,715 Marc Schroeder talk contribs (Added information to section 'Gentzen-style propositional logic')
• 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 Algebraic data type 17:16 −216 MrOllie talk contribs (Reverted 1 edit by Wukuendo (talk): Rv cross article edit warring. Get talk page consensus to proceed) Tags: Twinkle Undo
• diffhist Algebraic data type 17:05 +216 Wukuendo talk contribs (1) "little-known" reflects personal bias without proof (2) V is ranked higher on GitHub (https://ossinsight.io/collections/programming-language/) and TIOBE (https://www.tiobe.com/tiobe-index/) than D, Nim, Ocaml, Haxe, and Racket (3) Undid revision 1291975500 by Remsense (talk)) Tags: Undo Reverted
• diffhist Algebraic data type 14:07 −216 Remsense talk contribs (Reverted 1 edit by Wukuendo (talk): Like I already told you in edit summary, I see no reason for mention of this little-known language in every possible location where it possibly relevant. It's not WP:DUE, or at least you've made no attempt to demonstrate that it is (i.e. that its mention is of any real relevance to readers, and doesn't amount to advertising.)) Tags: Twinkle Undo Reverted
• diffhist Algebraic data type 13:52 +216 Wukuendo talk contribs ((1) Remsense - Please read your talk, (2) Undid revision 1291961711 by Remsense (talk)) Tags: Undo Reverted
• diffhist m Algebraic data type 12:15 −216 Remsense talk contribs (Reverted 1 edit by Wukuendo (talk) to last revision by 2A02:8428:67E3:5501:F93F:56E8:6CBD:6218) Tags: Twinkle Undo Reverted Mobile edit Mobile web edit Advanced mobile edit

22 May 2025

• diffhist Type theory 23:11 +4 David Eppstein talk contribs (more specific short description)
• diffhist Algebraic data type 12:33 +216 Wukuendo talk contribs (Added V to the list of languages) Tag: Reverted