Jump to content

User contributions for Sonarpulse

Results for Sonarpulse talk block log uploads logs global block log global account filter log
A user with 376 edits. Account created on 10 August 2007.
Search for contributionsshowhide
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

29 December 2025

25 December 2025

24 December 2025

1 September 2025

14 December 2024

9 December 2024

13 October 2024

20 August 2024

6 December 2021

5 December 2021

10 October 2021

11 August 2021

25 April 2021

2 February 2021

19 January 2021

7 December 2020

16 November 2020

  • 14:5414:54, 16 November 2020 diff hist +3 m System F Typing rules: Adjust pages in citation. The actual rule in question is actually on the following page, but I'll still include the previous one for context.
  • 04:3204:32, 16 November 2020 diff hist +216 System F Typing rules: Fix judgement to properly deal with alpha. The original citation gave a natural deduction rule, not sequent calculus rule. One cannot just slap \Gamma\vdash on the former to make the latter. With the fixed sequent rule, we can remove the side conditions on M.

13 September 2020

25 August 2020

12 January 2020

2 September 2019

13 May 2019

  • 04:2204:22, 13 May 2019 diff hist +44 Peter Dinklage Personal life: Add subordinate clause to more smoothly transition from the previous quotation. The already-cited sources themselves contrast Dinklage's opinion with this reputation, so this stylistic edit shouldn't editorialize.

9 December 2018

26 March 2016

30 March 2014

8 August 2013

19 December 2011

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)