[ghc-steering-committee] Record dot notation

[Joachim Breitner]

Hi,

Am Mittwoch, den 12.02.2020, 16:43 +0000 schrieb Simon Marlow:
> Joachim what do you think?

what Iavor said; although I could maybe warm up to still ranking 6 > 1
as a compromise trying to please the largest number of people.

I also think that the more fundamental (and therefore much more
relevant) issues that Cale raises deserve more attention.

Cheers,
Joachim

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