Skip to content

Conversation

@curiousdannii
Copy link
Collaborator

  • Proposal: IE-0005
  • Authors: Graham Nelson
  • Language feature name: None
  • Status: Draft
  • Related proposals: None
  • Implementation: None

Summary

Providing Unicode character names without slowly loading large cumbersome extensions, as has to be done at present.

@curiousdannii curiousdannii added the formal-proposal A formal proposal that has been accepted for consideration by the core Inform team label Aug 1, 2022
@ganelson ganelson merged commit 32458b4 into main Aug 1, 2022
@curiousdannii curiousdannii deleted the ie-0005-unicode-translates branch August 1, 2022 13:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

formal-proposal A formal proposal that has been accepted for consideration by the core Inform team

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants