November 2023 Archives by subject

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

Starting: Sun Nov 5 23:03:31 UTC 2023
Ending: Thu Nov 30 18:30:34 UTC 2023
Messages: 23

• [ghc-steering-committee] #493: SPECIALISE with expressions, rec: accept   Adam Gundry
• [ghc-steering-committee] #493: SPECIALISE with expressions, rec: accept   Arnaud Spiwack
• [ghc-steering-committee] #493: SPECIALISE with expressions, rec: accept   Simon Marlow
• [ghc-steering-committee] #493: SPECIALISE with expressions, rec: accept   Vladislav Zavialov
• [ghc-steering-committee] GHC2024 committee deliberation   Joachim Breitner
• [ghc-steering-committee] GHC2024 committee deliberation   Arnaud Spiwack
• [ghc-steering-committee] GHC2024 committee deliberation   Joachim Breitner
• [ghc-steering-committee] GHC2024 committee deliberation   Simon Peyton Jones
• [ghc-steering-committee] GHC2024 committee deliberation   Joachim Breitner
• [ghc-steering-committee] GHC2024 committee deliberation   Arnaud Spiwack
• [ghc-steering-committee] GHC2024 committee deliberation   Joachim Breitner
• [ghc-steering-committee] GHC2024 committee deliberation   Arnaud Spiwack
• [ghc-steering-committee] GHC2024 committee deliberation   Joachim Breitner
• [ghc-steering-committee] GHC2024 committee deliberation   Joachim Breitner
• [ghc-steering-committee] GHC2024 committee deliberation   Joachim Breitner
• [ghc-steering-committee] GHC2024 committee deliberation   Chris Dornan
• [ghc-steering-committee] GHC2024 committee deliberation   Joachim Breitner
• [ghc-steering-committee] GHC2024 committee deliberation   Joachim Breitner
• [ghc-steering-committee] GHC stability discussions   Simon Peyton Jones
• [ghc-steering-committee] GHC stability discussions   Joachim Breitner
• [ghc-steering-committee] GHC stability discussions   Simon Peyton Jones
• [ghc-steering-committee] GHC stability discussions   Simon Peyton Jones
• [ghc-steering-committee] Please review #606: 281 to use atype instead of ktype, Shepherd: Richard   Joachim Breitner

Last message date: Thu Nov 30 18:30:34 UTC 2023
Archived on: Thu Nov 30 18:03:17 UTC 2023

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