[ghc-steering-committee] Section numbering

Simon Peyton Jones simonpj at microsoft.com
Tue Feb 27 09:13:38 UTC 2018


Joachim
I think it'd be super-helpful to number the sections of a GHC proposal.  So much easier to navigate; and to refer to points in the discussion.
It's easy: just add

.. sectnum::
to the preamble.
Could you do that to the template?
But one other thing.   If you look at
https://github.com/Gertjan423/ghc-proposals/blob/quantified-constraints/proposals/0000-quantified-constraints.rst
where I did that, you'll see that everything is under Section 1.   better to give guidance about how to make a top-level heading that is just a heading, so only the other items have numbers.  Otherwise every section numbers starts "1." which is silly.
Thanks
Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180227/d62f6cc8/attachment.html>


More information about the ghc-steering-committee mailing list