12 Jul
2019
12 Jul
'19
11:52 a.m.
Dear all, As the shepherd for #115, I've made a recommendation and started the committee discussion: https://github.com/ghc-proposals/ghc-proposals/pull/115