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

26 May 2021


      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@joachim-breitner.de
  http://www.joachim-breitner.de/