Jump to content

Epigram (programming language): Revision history


For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

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

17 March 2025

16 March 2025

15 January 2024

29 November 2023

14 August 2023

22 February 2023

11 February 2023

5 November 2021

5 May 2021

9 February 2021

  • curprev 10:0610:06, 9 February 2021 Max.nordlund talk contribs 7,653 bytes −265 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. undo Tag: Visual edit

7 February 2021

1 November 2020

4 September 2020

19 August 2020

18 August 2020

23 February 2020

21 August 2019

14 March 2019

16 November 2017

25 August 2017

15 August 2017

5 September 2016

20 February 2016

17 February 2016

28 November 2015

17 March 2015

15 March 2015

18 January 2015

13 October 2014

9 June 2014

13 October 2013

4 September 2013

3 August 2013

28 July 2013

12 July 2013

7 February 2013

4 February 2013

18 November 2012

17 September 2012

31 July 2012

31 January 2012

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