Fixes a part of #9
(Tried for consistent syntax between keywords vs. types and the other guidelines in CONTRIBUTING.)
This fixes a lot of links!
First commit was from running add-hyperlinks-to-numbered-sections.js for the new files.
Also manually fixed a couple typo link syntax, i.e. see iii.3.29-conv-ovf-to-type-un.md
Fixes a part of #9 (Tried for consistent syntax between keywords vs.
types
and the other guidelines in CONTRIBUTING.)This fixes a lot of links! First commit was from running add-hyperlinks-to-numbered-sections.js for the new files. Also manually fixed a couple typo link syntax, i.e. see iii.3.29-conv-ovf-to-type-un.md