[ghc-steering-committee] Please review #536: Type-level literals as a separate language extension, Shepherd: Vlad

[Simon Peyton Jones]

Hi Vlad

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

Simon

On Thu, 16 Feb 2023 at 09:14, Joachim Breitner <mail at 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 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20230306/9629c26c/attachment-0001.html>