[ghc-steering-committee] Please review #621: Linear Constraints
Adam Gundry
adam at well-typed.com
Mon Dec 2 08:09:40 UTC 2024
Dear Committee,
Jack Hughes and Arnaud Spiwack propose to introduce Linear Constraints
in order to reduce boilerplate when using linear types:
https://github.com/ghc-proposals/ghc-proposals/pull/621
https://github.com/tweag/ghc-proposals/blob/linear-constraints/proposals/0621-linear-constraints.rst
I'd like to nominate Jakob Brünker 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