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