Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Consider adding "globally allowed symbols" #26

Open
nils-mathieu opened this issue Feb 2, 2023 · 0 comments
Open

Consider adding "globally allowed symbols" #26

nils-mathieu opened this issue Feb 2, 2023 · 0 comments
Assignees
@nils-mathieu

Comments

@nils-mathieu
Copy link
Owner

It would be nice not having to repeat the same allowed symbols over and over for every exercise. We could had a "globally allowed symbols" in the General Rules.
@nils-mathieu nils-mathieu self-assigned this Feb 4, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@nils-mathieu nils-mathieu

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@nils-mathieu