December 2017 Archives by thread

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

Starting: Wed Dec 6 02:35:18 UTC 2017
Ending: Thu Dec 21 14:15:03 UTC 2017
Messages: 9

• [ghc-steering-committee] Proposal: BlockArguments (Shepherd: Joachim)   Joachim Breitner
• [ghc-steering-committee] Underscores in literals   Joachim Breitner
  • [ghc-steering-committee] Underscores in literals   Joachim Breitner
• [ghc-steering-committee] Status   Joachim Breitner
• [ghc-steering-committee] Please review: embrace Type::Type, Shepherd: Iavor   Joachim Breitner
  • [ghc-steering-committee] Please review: embrace Type::Type, Shepherd: Iavor   Simon Peyton Jones
• [ghc-steering-committee] Proposal: Syntax for visible dependent quantification (#81)   Roman Leshchinskiy
  • [ghc-steering-committee] Proposal: Syntax for visible dependent quantification (#81)   Simon Peyton Jones
  • [ghc-steering-committee] Proposal: Syntax for visible dependent quantification (#81)   Richard Eisenberg

Last message date: Thu Dec 21 14:15:03 UTC 2017
Archived on: Thu Dec 21 13:43:43 UTC 2017

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