User contributions for Kr5t

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

05:0505:05, 30 December 2023 diff hist +12‎ Hank Ketcham ‎ →‎Family: This is what the citation says Tags: Mobile edit Mobile web edit

21:3821:38, 18 September 2021 diff hist +32‎ N Transfer principles ‎ ←Redirected page to Transfer principle current Tag: New redirect
21:3821:38, 18 September 2021 diff hist −2‎ m Principle of permanence ‎ pluralization
21:3721:37, 18 September 2021 diff hist −1‎ Principle of permanence ‎ Remove "can only", which is odd phrasing. There's nothing 'only' about it, math isn't the practice of proving things, it's the practice of finding interesting things to prove

01:5801:58, 24 May 2021 diff hist +20‎ Number systems ‎ Redirect to specifically the section "Main classification", just like Number system does current Tag: Redirect target changed
00:2100:21, 24 May 2021 diff hist +39‎ Identity theorem ‎ Add category link
00:1400:14, 24 May 2021 diff hist −7‎ Analytic function ‎ →‎Properties of analytic functions: Correction: paragraph describes the Identity Theorem, not the principle of permanence

11:5711:57, 21 May 2021 diff hist +42‎ Supplementary characters ‎ "Supplementary characters" redirecting to UTF-16 makes no sense. Assuming it means Unicode at all, it's clearly referring to the Supplementary Planes current Tag: Redirect target changed

18:5418:54, 7 May 2021 diff hist +54‎ Identity theorem ‎No edit summary Tags: Mobile edit Mobile web edit
18:2118:21, 7 May 2021 diff hist +62‎ Identity theorem ‎ Identity theorem also applies to real analytic functions

08:3408:34, 14 December 2020 diff hist +27‎ N Nullable types ‎ ←Redirected page to Nullable type current Tag: New redirect
08:3308:33, 14 December 2020 diff hist +296‎ Flow-sensitive typing ‎ →‎Implementations: Add Typed Racket
08:2908:29, 14 December 2020 diff hist +975‎ Flow-sensitive typing ‎ Add C# (which gained occurrence typing this year) and Typed Scheme (which predates Whiley)

06:1406:14, 26 November 2020 diff hist −122‎ Refinement type ‎ →‎History: Remove reference to Flow's "type refinement", which is unrelated to "refinement types". Flow's built-in feature "type refinement" is analogous to TypeScript's built-in feature "type narrowing". Although an old research project did implement actual "refinement types" on top of TypeScript syntax, they were never implemented for Flow, and are built-into neither

02:0002:00, 7 November 2020 diff hist −1,739‎ Pratt parser ‎ Move contents to page "Operator-precedence parser", which Pratt parsing is a form of. Much of the text and most citations were also moved over, although the 2 random GitHub repo links were omitted for lack of notability. Tag: New redirect
01:5401:54, 7 November 2020 diff hist +2,010‎ Operator-precedence parser ‎ Create section on Pratt parsing, which is a generalization of precedence climbing, as noted by the person who coined the term "precedence climbing", Thomas Novell
01:1001:10, 7 November 2020 diff hist +40‎ N Precedence climbing ‎ ←Redirected page to Operator-precedence parser current Tag: New redirect
01:0601:06, 7 November 2020 diff hist −25‎ Option type ‎ →‎Names and definitions: Italicize comment instead of commenting out and hiding
01:0401:04, 7 November 2020 diff hist 0‎ Result type ‎ →‎Examples: Rearrange in alphabetical order