-
Notifications
You must be signed in to change notification settings - Fork 173
Add Feature flag for language-directory #3316
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.
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
base: master
Are you sure you want to change the base?
Add Feature flag for language-directory #3316
Conversation
Yes, the Source Academy frontends should be configurable to provide a desired set of languages and their implementations. The purpose of the language directory is to provide a mapping from language names to the "official" x-slang implementations. What remains to be worked out is to configure what languages should be provided by sourceacademy.org and sourceacademy.nus.edu.sg and other frontends. Should that be done in a config file at build time, or should this also come from a github page? Any proposals? |
Simple proof-of-concept for adding additional languages via a
language-directory
.To-Do?
Questions:
-slang
variants support conductors?Happy to collaborate with relevant people on making conductors first-class if that’s the direction we are taking 👍