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

[Joachim Breitner]

Am Mittwoch, den 26.05.2021, 07:20 +0000 schrieb Simon Peyton Jones via
ghc-steering-committee:
> At this point I think we have enough support to declare the proposal accepted.
> Joachim, can you merge it?

Done!
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/