4 Dec
2018
4 Dec
'18
11:21 a.m.
Friends on the GHC steering group Joachim has published our new guidelines, here https://github.com/ghc-proposals/ghc-proposals/blob/master/GRC.rst I'll send an email to ... what... ghc-users and ghc-devs perhaps. Simon