Re: [ghc-steering-committee] Recommendation for #378: support the design for dependent types

Good, this addresses the concern I voiced earlier about the design being separated from the proposal. I’m in support now. - Vlad

On 15 Apr 2021, at 12:38, Simon Peyton Jones via ghc-steering-committee wrote:

Dear GHC steering committee

OK Richard has now revised the “Design for Dependent Types” proposal, and has resubmitted it. As we asked, it now includes the design sketch that constitutes the direction of travel advocated in the proposal, rather than merelyreferring to it.

Simon

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