[ghc-steering-committee] Please review #592: Scoped kind variables in standalone kind signatures
Adam Gundry
adam at well-typed.com
Thu Feb 8 21:15:41 UTC 2024
Dear Committee,
Vlad proposes to amend StandaloneKindSignatures to support scoped kind
variables:
https://github.com/ghc-proposals/ghc-proposals/pull/592
https://github.com/int-index/ghc-proposals/blob/scoped-saks/proposals/0054-kind-signatures.rst#proposed-change-specification
I'd like to nominate Eric as the shepherd.
Please guide us to a conclusion as outlined in
https://github.com/ghc-proposals/ghc-proposals#committee-process
Cheers,
Adam
--
Adam Gundry, Haskell Consultant
Well-Typed LLP, https://www.well-typed.com/
Registered in England & Wales, OC335890
27 Old Gloucester Street, London WC1N 3AX, England
More information about the ghc-steering-committee
mailing list