Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Proposal] Support UTF-8 identifiers #477

Open
Protryon opened this issue Dec 7, 2020 · 2 comments
Open

[Proposal] Support UTF-8 identifiers #477

Protryon opened this issue Dec 7, 2020 · 2 comments
Labels
feature A new feature. priority-low A low priority bug/task in Leo.

Comments

@Protryon
Copy link
Contributor

Protryon commented Dec 7, 2020

We should add UTF-8 identifiers to ease international use.
@myoussefmir
Copy link

is the purpose of this feature to support UTF-8 variable names and function names?

@myoussefmir myoussefmir added the feature A new feature. label Dec 9, 2020
@Protryon
Copy link
Contributor Author

Protryon commented Dec 9, 2020

is the purpose of this feature to support UTF-8 variable names and function names?

Yes.

@sync-by-unito sync-by-unito bot mentioned this issue Dec 15, 2020
Merged
@gluax gluax added the priority-low A low priority bug/task in Leo. label Jul 15, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature A new feature. priority-low A low priority bug/task in Leo.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Protryon @gluax @myoussefmir