[ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)

[Eric Seidel]

Though I'd still like to have it specify what happens with record selectors, as pointed out by Adam.

On Wed, Aug 29, 2018, at 13:21, Eric Seidel wrote:
> Ok, then I declare it accepted!
> 
> On Wed, Aug 29, 2018, at 13:17, Joachim Breitner wrote:
> > Hi,
> > 
> > Am Mittwoch, den 29.08.2018, 09:27 -0400 schrieb Eric Seidel:
> > > What's the next step, Joachim? Do I just mark the proposal as accepted?
> > 
> > yes. Or you declare it as accepted here on the mailing list, and I mark
> > it as such on GitHub (I have to touch it anyways, to merge it and give
> > it the final proposal number).
> > 
> > Cheers,
> > Joachim
> > 
> > 
> > 
> > -- 
> > Joachim Breitner
> >   mail at joachim-breitner.de
> >   http://www.joachim-breitner.de/
> > _______________________________________________
> > ghc-steering-committee mailing list
> > ghc-steering-committee at haskell.org
> > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> > Email had 1 attachment:
> > + signature.asc
> >   1k (application/pgp-signature)