May 2025 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Tue May 6 12:38:17 UTC 2025
Ending: Mon May 19 09:15:55 UTC 2025
Messages: 6

• [ghc-steering-committee] #668: Allow reserved identifiers as fields in OverloadedRecordDot, recommendation: accept   Adam Gundry
• [ghc-steering-committee] Please review #632: introduction of new language editions (inc. GHC2024)   Adam Gundry
  • [ghc-steering-committee] Please review #632: introduction of new language editions (inc. GHC2024)   Simon Marlow
• [ghc-steering-committee] Stepping down from the Steering Committee   Eric Seidel
  • [ghc-steering-committee] Stepping down from the Steering Committee   Adam Gundry
  • [ghc-steering-committee] Stepping down from the Steering Committee   Simon Peyton Jones

Last message date: Mon May 19 09:15:55 UTC 2025
Archived on: Mon May 19 09:09:09 UTC 2025

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...