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

[Vladislav Zavialov (int-index)]

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 <ghc-steering-committee at haskell.org> 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 at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee