Skip to content

Conversation

@m-messer
Copy link
Member

No description provided.

@m-messer m-messer merged commit 4c9fc84 into main Aug 27, 2025
@m-messer m-messer deleted the m-messer-patch-1 branch August 27, 2025 09:39
@peterbjohnson
Copy link
Contributor

Thanks for adding this info. A couple of suggestions:

  • add the 'hack' that input symbols can be used to allow reserved symbols to be used for different purposes
  • reorganise the content so that all info on reserved symbols is together. E.g. overriding Greek symbols; using input symbols; and elementary functions. Maybe there's not a perfect solution, or maybe there's not even a better solution - but it's worth a look.

Also regarding branches, Karl previously used Trello tickets, and labelled branches with the Trello ticket number. You can use that system, or a different system (e.g. GH issue numbers, or your own system). Whatever you use, can you then formalise that somewhere, e.g. in the README or the general docs, so that we document good practice.

@m-messer m-messer restored the m-messer-patch-1 branch August 27, 2025 09:56
@m-messer
Copy link
Member Author

Pulled comment to GH issue

@m-messer m-messer deleted the m-messer-patch-1 branch August 29, 2025 14:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants