Add numbers as identifiers #20

Open

Open

Add numbers as identifiers#20

Labels

Collaborator

When number encoding is None, allow numbers to be used as valid identifiers

added

on Jan 25, 2022

mentioned this

on Feb 11, 2024

numEncoding None throws a little _too_ often #109

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Participants