Hi Vlad

Are you ruminating on this one?  We need a recommendation :-).

Simon

On Thu, 16 Feb 2023 at 09:14, Joachim Breitner <mail@joachim-breitner.de> wrote:

Dear Committee,

Ross Paterson proposes
Type-level literals as a separate language extension
https://github.com/ghc-proposals/ghc-proposals/pull/536
https://github.com/RossPaterson/ghc-proposals/blob/literals/proposals/0000-type-level-literals.rst

I suggest Vlad to shepherd this, as he has already engaged
with it on Github.

Please guide us to a conclusion as outlined in
https://github.com/ghc-proposals/ghc-proposals#committee-process


Cheers,
Joachim




--
Joachim Breitner
  mail@joachim-breitner.de
  http://www.joachim-breitner.de/

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee