Allowing identifier to begin with digit

True... but that rejection also specifically leaves the question of numeric-starting identifiers open for further discussion:

(emphasis added) To me, it seems like this proposal would fall under the "more concrete work" banner. :slight_smile:

4 Likes