August 2018 Archives by date
Starting: Wed Aug 1 23:57:38 UTC 2018
Ending: Thu Aug 30 13:53:11 UTC 2018
Messages: 95
- [ghc-steering-committee] Welcome Eric and Vitaly
Joachim Breitner
- [ghc-steering-committee] Welcome Eric and Vitaly
Manuel M T Chakravarty
- [ghc-steering-committee] Proposal #111: Linear Types
Richard Eisenberg
- [ghc-steering-committee] Discussion on "Allow ScopedTypeVariables to refer to types" (#128)
Joachim Breitner
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Joachim Breitner
- [ghc-steering-committee] Remove the * kind syntax (#143); Recommendation: accept
Joachim Breitner
- [ghc-steering-committee] Bundling patterns with type synonyms (#28)
Joachim Breitner
- [ghc-steering-committee] Extra Commas (#87), Recommend: accept
Joachim Breitner
- [ghc-steering-committee] Please Review: Define Kinds Without Promotion (#106), New Shepherd: Eric
Joachim Breitner
- [ghc-steering-committee] Please Review: Lazy unboxed tuples (#35), New Shepherd: Vitaly
Joachim Breitner
- [ghc-steering-committee] Status
Joachim Breitner
- [ghc-steering-committee] Please Review: Lazy unboxed tuples (#35), New Shepherd: Vitaly
Vitaly Bragilevsky
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Christopher Allen
- [ghc-steering-committee] Extra Commas (#87), Recommend: accept
Christopher Allen
- [ghc-steering-committee] Extra Commas (#87), Recommend: accept
Christopher Allen
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Joachim Breitner
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Christopher Allen
- [ghc-steering-committee] Extra Commas (#87), Recommend: accept
Iavor Diatchki
- [ghc-steering-committee] Extra Commas (#87), Recommend: accept
Eric Seidel
- [ghc-steering-committee] Please Review: Define Kinds Without Promotion (#106), New Shepherd: Eric
Eric Seidel
- [ghc-steering-committee] Extra Commas (#87), Recommend: accept
Richard Eisenberg
- [ghc-steering-committee] Extra Commas (#87), Recommend: accept
Joachim Breitner
- [ghc-steering-committee] Proposal #111: Linear Types
Iavor Diatchki
- [ghc-steering-committee] Proposal: Syntax for visible dependent quantification (#81)
Roman Leshchinskiy
- [ghc-steering-committee] Proposal: Top-level kind signatures (#54)
Roman Leshchinskiy
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Iavor Diatchki
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Eric Seidel
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Eric Seidel
- [ghc-steering-committee] Proposal #111: Linear Types
Eric Seidel
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Richard Eisenberg
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Manuel M T Chakravarty
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Eric Seidel
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Iavor Diatchki
- [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject
Vitaly Bragilevsky
- [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject
Eric Seidel
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Richard Eisenberg
- [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject
Simon Peyton Jones
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Simon Peyton Jones
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Iavor Diatchki
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Joachim Breitner
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Simon Peyton Jones
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Joachim Breitner
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Eric Seidel
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Richard Eisenberg
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Richard Eisenberg
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Joachim Breitner
- [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject
Eric Seidel
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Simon Peyton Jones
- [ghc-steering-committee] Proposal #111: Linear Types
Simon Peyton Jones
- [ghc-steering-committee] Proposal: Syntax for visible dependent quantification (#81)
Simon Peyton Jones
- [ghc-steering-committee] Proposal: Top-level kind signatures (#54)
Simon Peyton Jones
- [ghc-steering-committee] Status
Simon Peyton Jones
- [ghc-steering-committee] Proposal: Top-level kind signatures (#54)
Richard Eisenberg
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Richard Eisenberg
- [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject
Richard Eisenberg
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Richard Eisenberg
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Richard Eisenberg
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Simon Peyton Jones
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Eric Seidel
- [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject
Eric Seidel
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Eric Seidel
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Joachim Breitner
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Richard Eisenberg
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Iavor Diatchki
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Simon Peyton Jones
- [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject
Vitaly Bragilevsky
- [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation: Reject
Joachim Breitner
- [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)
Richard Eisenberg
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Richard Eisenberg
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Iavor Diatchki
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Eric Seidel
- [ghc-steering-committee] Proposal #111: Linear Types
Eric Seidel
- [ghc-steering-committee] Proposal: Lazy unboxed tuples / warn on unbanged strict patterns (#35); Recommendation, attempt 2: Accept
Vitaly Bragilevsky
- [ghc-steering-committee] Proposal #111: Linear Types
Richard Eisenberg
- [ghc-steering-committee] Proposal #111: Linear Types
Eric Seidel
- [ghc-steering-committee] Proposal #111: Linear Types
Richard Eisenberg
- [ghc-steering-committee] Proposal #111: Linear Types
Simon Peyton Jones
- [ghc-steering-committee] Proposal #111: Linear Types
Richard Eisenberg
- [ghc-steering-committee] Proposal #111: Linear Types
Iavor Diatchki
- [ghc-steering-committee] Proposal #111: Linear Types
Simon Peyton Jones
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Richard Eisenberg
- [ghc-steering-committee] Proposal #111: Linear Types
Vitaly Bragilevsky
- [ghc-steering-committee] Proposal #111: Linear Types
Richard Eisenberg
- [ghc-steering-committee] Proposal #111: Linear Types
Vitaly Bragilevsky
- [ghc-steering-committee] Proposal #111: Linear Types
Iavor Diatchki
- [ghc-steering-committee] Proposal #111: Linear Types
Simon Peyton Jones
- [ghc-steering-committee] Proposal #111: Linear Types
Richard Eisenberg
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Eric Seidel
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Joachim Breitner
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Eric Seidel
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Eric Seidel
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Joachim Breitner
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Eric Seidel
- [ghc-steering-committee] Please Review: StableName guarantee (#163), Shepherd: Simon Marlow
Joachim Breitner
- [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)
Iavor Diatchki
Last message date:
Thu Aug 30 13:53:11 UTC 2018
Archived on: Thu Aug 30 13:11:54 UTC 2018
This archive was generated by
Pipermail 0.09 (Mailman edition).