12 Jul
2019
12 Jul
'19
3:52 p.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