User contributions
Jump to navigation
Jump to search
- 20:34, 12 February 2024 diff hist -627 Template:Main/Events Added Dutch Formal Methods Day 2024; moved several events to "Recent Events"; removed old events current
- 14:47, 20 December 2023 diff hist -453 Template:Main/Events Added ICFP 2024; removed old events
- 18:33, 11 December 2023 diff hist +123 Template:Main/Events Added Dutch Functional Programming Day (NLFP 2024)
- 14:33, 10 December 2023 diff hist +171 Template:Main/Events Added Certified Programs and Proofs (CPP) 2024; moved APLAS 2023 to Recent Events
- 09:57, 27 November 2023 diff hist +110 Template:Main/Headlines GHC 9.4.8 is released current
- 09:50, 27 November 2023 diff hist -163 Template:Main/Events Moved events to "Recent events"; removed old event
- 09:45, 27 November 2023 diff hist -812 Template:Main/Events Removed less relevant events from the "Recent events section"
- 06:07, 18 October 2023 diff hist +244 Template:Main/Events Added HAFDAL '24
- 19:14, 16 October 2023 diff hist +174 Template:Main/Events Added "Fun in the Afternoon"
- 12:26, 11 October 2023 diff hist -26 m Template:Main/Events
- 12:22, 11 October 2023 diff hist +138 Template:Main/Events Added BOB Conference 2024
- 01:23, 10 October 2023 diff hist +109 Template:Main/Headlines GHC 9.8.1 is released
- 22:30, 3 October 2023 diff hist -164 Template:Main/Events Added PEPM 2024; removed old events
- 23:38, 25 September 2023 diff hist +111 Template:Main/Headlines GHC 9.4.6 is released
- 01:12, 17 September 2023 diff hist +284 Template:Main/Events Added OOPSLA 2024
- 11:14, 13 September 2023 diff hist +238 m Template:Main/Events Added JFLA 2024
- 21:08, 11 September 2023 diff hist +360 Template:Main/Events Added ETAPS 2024 and ESOP 2024; moved several events to "Recent events"
- 21:40, 24 August 2023 diff hist +220 Template:Main/Events Added PADL 2024
- 11:40, 8 August 2023 diff hist +47 Template:Main/Events Added TFPIE2024; removed FOSDEM Haskell Devroom
- 05:00, 8 August 2023 diff hist +109 Template:Main/Headlines GHC 9.4.6 is released