September 2020 Archives by thread

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

Starting: Tue Sep 1 16:18:49 UTC 2020
Ending: Wed Sep 30 20:12:07 UTC 2020
Messages: 55

• [ghc-steering-committee] GHC 2020   Iavor Diatchki
  • [ghc-steering-committee] GHC 2020   Eric Seidel
  • [ghc-steering-committee] GHC 2020   Richard Eisenberg
    • [ghc-steering-committee] GHC 2020   Joachim Breitner
    • [ghc-steering-committee] GHC 2020   Alejandro Serrano Mena
  • [ghc-steering-committee] GHC 2020   Eric Seidel
    • [ghc-steering-committee] GHC 2020   Joachim Breitner
      • [ghc-steering-committee] GHC 2020   Eric Seidel
      • [ghc-steering-committee] GHC 2020   Richard Eisenberg
      • [ghc-steering-committee] GHC 2020   Simon Peyton Jones
      • [ghc-steering-committee] GHC 2020   Alejandro Serrano Mena
      • [ghc-steering-committee] GHC 2020   Simon Peyton Jones
      • [ghc-steering-committee] GHC 2020   Richard Eisenberg
      • [ghc-steering-committee] GHC 2020   Eric Seidel
      • [ghc-steering-committee] GHC 2020   Alejandro Serrano Mena
      • [ghc-steering-committee] GHC 2020   Spiwack, Arnaud
      • [ghc-steering-committee] GHC 2020   Simon Marlow
      • [ghc-steering-committee] GHC 2020   Alejandro Serrano Mena
      • [ghc-steering-committee] GHC 2020   Richard Eisenberg
      • [ghc-steering-committee] GHC 2020   Alejandro Serrano Mena
      • [ghc-steering-committee] GHC 2020   Simon Peyton Jones
      • [ghc-steering-committee] GHC 2020   Iavor Diatchki
      • [ghc-steering-committee] GHC 2020   Alejandro Serrano Mena
      • [ghc-steering-committee] GHC 2020   Alejandro Serrano Mena
• [ghc-steering-committee] Proposal #302: `\of`   Richard Eisenberg
  • [ghc-steering-committee] Proposal #302: `\of`   Alejandro Serrano Mena
    • [ghc-steering-committee] Proposal #302: `\of`   Richard Eisenberg
      • [ghc-steering-committee] Proposal #302: `\of`   Alejandro Serrano Mena
      • [ghc-steering-committee] Proposal #302: `\of`   Iavor Diatchki
      • [ghc-steering-committee] Proposal #302: `\of`   Spiwack, Arnaud
  • [ghc-steering-committee] Proposal #302: `\of`   Simon Marlow
    • [ghc-steering-committee] Proposal #302: `\of`   Simon Peyton Jones
      • [ghc-steering-committee] Proposal #302: `\of`   Alejandro Serrano Mena
      • [ghc-steering-committee] Proposal #302: `\of`   Simon Marlow
• [ghc-steering-committee] Attempt at clarifying the template language   Spiwack, Arnaud
• [ghc-steering-committee] Please review #356: Linear Types arrow, Shepherd: Richard   Joachim Breitner
• [ghc-steering-committee] Goals for GHC   Simon Peyton Jones
  • [ghc-steering-committee] Goals for GHC   Alejandro Serrano Mena
    • [ghc-steering-committee] Goals for GHC   Richard Eisenberg
• [ghc-steering-committee] Please review #351: NoIcomplete, Shepherd: Iavor   Joachim Breitner
• [ghc-steering-committee] Please review #313: Delimited continuation primops, Shepherd: Simon Marlow   Joachim Breitner
• [ghc-steering-committee] Proposal #356: new syntax for linear arrows   Richard Eisenberg
  • [ghc-steering-committee] Proposal #356: new syntax for linear arrows   Alejandro Serrano Mena
  • [ghc-steering-committee] Proposal #356: new syntax for linear arrows   Simon Peyton Jones
  • [ghc-steering-committee] Proposal #356: new syntax for linear arrows   Joachim Breitner
    • [ghc-steering-committee] Proposal #356: new syntax for linear arrows   Spiwack, Arnaud
      • [ghc-steering-committee] Proposal #356: new syntax for linear arrows   Richard Eisenberg
      • [ghc-steering-committee] Proposal #356: new syntax for linear arrows   Iavor Diatchki
• [ghc-steering-committee] The 'Char' kind   Richard Eisenberg
  • [ghc-steering-committee] The 'Char' kind   Simon Peyton Jones
    • [ghc-steering-committee] The 'Char' kind   Iavor Diatchki
• [ghc-steering-committee] Please review #364: Unify Nat and Natural, Shepherd: Alejandro   Joachim Breitner
• [ghc-steering-committee] Steering Committee bylaws   Richard Eisenberg
  • [ghc-steering-committee] Steering Committee bylaws   Alejandro Serrano Mena
  • [ghc-steering-committee] Steering Committee bylaws   Simon Peyton Jones

Last message date: Wed Sep 30 20:12:07 UTC 2020
Archived on: Wed Sep 30 20:06:35 UTC 2020

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