15 Apr
2019
15 Apr
'19
11:07 a.m.
Simon Peyton Jones via ghc-devs
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.
That's a great question. The header contains .. sectnum:: :start: 36 which mpickering added in [1]. mpickering, what was the motivation for this? Cheers, - Ben [1] https://github.com/ghc-proposals/ghc-proposals/commit/5c2fa009a369df39cf60eb...