Related changes

29 May 2025

• diffhist Haskell 20:03 −3 50.144.142.211 talk (https://ibb.co/sL4sdjD)
• diffhist Calculus of constructions 19:38 −4 175.100.7.120 talk (In mathematical logic and computer science, the calculus of constructions (CoC) is a type theory created by Thierry Coquand. It can serve as both a typed programming language and as constructive foundation for mathematics. For this second reason, the CoC and its variants have been the basis for Coq and other proof assistants. Some of its variants include the calculus of inductive constructions (which adds inductive types), the calculus of (co)inductive constructions (which adds coinduction), an) Tags: Visual edit Mobile edit Mobile web edit

28 May 2025

• diffhist Module:Labelled list hatnote 18:18 +127 Ahecht talk contribs (Exclude section anchors from ifexists, properly show "no input" error message when ifexists=true)
• diffhist Bisimulation 16:03 +8 WilliamGHLaws talk contribs (Link suggestions feature: 2 links added.) Tags: Visual edit Newcomer task Suggested: add links

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)