Jump to content

User contributions for Max.nordlund

A user with 54 edits. Account created on 29 December 2007.
Search for contributionsshowhide
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

21 June 2024

20 February 2024

22 June 2021

21 February 2021

9 February 2021

  • 10:0610:06, 9 February 2021 diff hist −265 Epigram (programming language) Both Coq and Agda were created years prior to Epigram, and thus these claims seem to be conjured from thin air. Idris appeared later, but given the lack of citation and the others I decided to remove them all. If someone can cite a source supporting these claims, they can of course put this back. Tag: Visual edit

5 February 2021

7 February 2020

5 April 2019

14 June 2018

27 October 2017

9 October 2017

21 June 2017

13 May 2017

2 May 2017

27 December 2016

26 December 2016

25 December 2016

26 August 2016

24 August 2016

14 August 2016

21 June 2016

19 June 2016

6 June 2016

16 January 2016

23 December 2015

21 March 2015

4 February 2015

13 January 2015

5 January 2015

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