5 Dec
2018
5 Dec
'18
12: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