Headings
Contents
- This is mostly for bookkeeping reasons. There is a separate Syntax Trees that is just of headings.
- A heading has a level, which is how significant it is, and an indentation, which is how nested it is.
- There’s a bunch of mathematical definitions but it seems fairly straightforward?
- A whole bunch of metadata.