User contributions for GreenEyewash

A user with 81 edits. Account created on 18 October 2020.
Search for contributionsshowhide
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

1 July 2024

22 June 2024

20 June 2024

17 June 2024

30 April 2024

29 April 2024

28 April 2024

27 March 2024

10 March 2024

9 December 2023

18 November 2023

9 November 2023

17 June 2023

14 June 2023

4 February 2023

2 February 2023

17 June 2022

14 June 2022

13 June 2022

12 June 2022

11 June 2022

9 June 2022

7 June 2022

1 May 2022

8 April 2022

25 December 2021

11 December 2021

  • 21:4121:41, 11 December 2021 diff hist +673 Montague grammarIntroduced a low-key distinction between parentheses that signify function application (now in boldface) and all other uses of parentheses, of which there are many including precedence, predicates, and function types (left as they were). Also deleted two instances of gratuitous parentheses around lambda abstractions, and one gratuitous instance of parentheses around a negation.

5 December 2020

4 December 2020

3 December 2020

2 December 2020

28 November 2020

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