15 Apr
2019
15 Apr
'19
10:59 a.m.
Why does this proposal https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0036-ki... start with Section 36? (It is proposal 36.) Lots of other proposals do this too. Can it be fixed? Thanks Simon