Proposal section numbering messed up

Simon Peyton Jones simonpj at
Mon Apr 15 14:59:17 UTC 2019

Why does this proposal
start with Section 36?  (It is proposal 36.)
Lots of other proposals do this too.
Can it be fixed?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list