January 2023 Archives by subject
Starting: Mon Jan 2 17:10:14 UTC 2023
Ending: Mon Jan 30 08:43:27 UTC 2023
Messages: 50
- [ghc-steering-committee] #511 Deep Subsumption, recommendation: accept
Joachim Breitner
- [ghc-steering-committee] #555: Higher Order Patterns in Rewrite Rules, rec accept
Joachim Breitner
- [ghc-steering-committee] #555: Higher Order Patterns in Rewrite Rules, rec accept
Simon Peyton Jones
- [ghc-steering-committee] #555: Higher Order Patterns in Rewrite Rules, rec accept
Chris Dornan
- [ghc-steering-committee] #555: Higher Order Patterns in Rewrite Rules, rec accept
Joachim Breitner
- [ghc-steering-committee] #555: Higher Order Patterns in Rewrite Rules, rec accept
Chris Dornan
- [ghc-steering-committee] #555: Higher Order Patterns in Rewrite Rules, rec accept
Arnaud Spiwack
- [ghc-steering-committee] #555: Higher Order Patterns in Rewrite Rules, rec accept
Adam Gundry
- [ghc-steering-committee] #555: Higher Order Patterns in Rewrite Rules, rec accept
Joachim Breitner
- [ghc-steering-committee] By-law change: Allow self-nominations
Joachim Breitner
- [ghc-steering-committee] By-law change: Allow self-nominations
Vladislav Zavialov
- [ghc-steering-committee] By-law change: Allow self-nominations
Chris Dornan
- [ghc-steering-committee] By-law change: Allow self-nominations
Richard Eisenberg
- [ghc-steering-committee] By-law change: Allow self-nominations
Arnaud Spiwack
- [ghc-steering-committee] Call for votes: Shall we have GHC2023
Joachim Breitner
- [ghc-steering-committee] Call for votes: Shall we have GHC2023
Joachim Breitner
- [ghc-steering-committee] Call for votes: Shall we have GHC2023
Chris Dornan
- [ghc-steering-committee] Call for votes: Shall we have GHC2023
Vladislav Zavialov
- [ghc-steering-committee] Call for votes: Shall we have GHC2023
Joachim Breitner
- [ghc-steering-committee] Call for votes: Shall we have GHC2023
Arnaud Spiwack
- [ghc-steering-committee] Call for votes: Shall we have GHC2023
Simon Peyton Jones
- [ghc-steering-committee] Call for votes: Shall we have GHC2023
Adam Gundry
- [ghc-steering-committee] GHC2023
Joachim Breitner
- [ghc-steering-committee] GHC2023
Chris Dornan
- [ghc-steering-committee] GHC2023
Simon Peyton Jones
- [ghc-steering-committee] GHC2023
Joachim Breitner
- [ghc-steering-committee] GHC2023
Simon Peyton Jones
- [ghc-steering-committee] GHC2023
Joachim Breitner
- [ghc-steering-committee] GHC2023
Arnaud Spiwack
- [ghc-steering-committee] GHC2023
Richard Eisenberg
- [ghc-steering-committee] GHC2023
Simon Marlow
- [ghc-steering-committee] GHC2023
Simon Peyton Jones
- [ghc-steering-committee] GHC2023
Simon Marlow
- [ghc-steering-committee] GHC2023
Arnaud Spiwack
- [ghc-steering-committee] GHC2023
Simon Peyton Jones
- [ghc-steering-committee] GHC Steering Committee Status
Joachim Breitner
- [ghc-steering-committee] GHC Steering Committee Status
Simon Peyton Jones
- [ghc-steering-committee] GHC Steering Committee Status
Chris Dornan
- [ghc-steering-committee] GHC Steering Committee Status
Chris Dornan
- [ghc-steering-committee] please accept "Make Symbol a newtype over String"
Chris Dornan
- [ghc-steering-committee] please accept "Make Symbol a newtype over String"
Simon Peyton Jones
- [ghc-steering-committee] please accept "Make Symbol a newtype over String"
Chris Dornan
- [ghc-steering-committee] please accept "Make Symbol a newtype over String"
Adam Gundry
- [ghc-steering-committee] please accept "Make Symbol a newtype over String"
Arnaud Spiwack
- [ghc-steering-committee] Please review #555: Higher Order Patterns in Rewrite Rules, Shepherd: Joachim
Joachim Breitner
- [ghc-steering-committee] Please review #555: Higher Order Patterns in Rewrite Rules, Shepherd Simon PJ
Joachim Breitner
- [ghc-steering-committee] Please review #555: Higher Order Patterns in Rewrite Rules, Shepherd Simon PJ
Simon Peyton Jones
- [ghc-steering-committee] Proposal #532: Clean up and simplify the treatment of implicit bindings. Recommendation: partially accept (maybe)
Arnaud Spiwack
- [ghc-steering-committee] Why not?, rather than, why?
Simon Marlow
- [ghc-steering-committee] Why not?, rather than, why?
Richard Eisenberg
Last message date:
Mon Jan 30 08:43:27 UTC 2023
Archived on: Mon Jan 30 08:24:09 UTC 2023
This archive was generated by
Pipermail 0.09 (Mailman edition).