Doc: fixed one third-person form + one comma in "Types and Functions".
Should this change go in the CHANGELOG?
[ ] If this is a fix, user-facing change, a compiler change, or a new paper
implementation, I have updated CHANGELOG_NEXT.md (and potentially also
CONTRIBUTORS.md).
Description
Doc: fixed one third-person form + one comma in "Types and Functions".
Should this change go in the CHANGELOG?
CHANGELOG_NEXT.md
(and potentially alsoCONTRIBUTORS.md
).