robsimmons / dusa / 12897012255

push

github

builtin-indentifier and builtin both used in syntax.md (#103)

When reading the docs, I was confused what \<builtin-identifier> was
supposed to represent.
I assume it means the same thing as \<builtin>, so I have set them to
the the same name.

<builtin> was chosen as the standard over \<builtin-indentifier> because
it didn't mess with the whitespace

---------

Co-authored-by: Robert J. Simmons <442315+robsimmons@users.noreply.github.com>

653 of 683 branches covered (95.61%)

Branch coverage included in aggregate %.

3393 of 3557 relevant lines covered (95.39%)

928.69 hits per line