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.

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

Document conventions #195

Open
wants to merge 1 commit into
base: working
Choose a base branch
from
Open

Document conventions #195

wants to merge 1 commit into from

Conversation

tliron
Copy link
Contributor

@tliron tliron commented Sep 19, 2024

And a few minor typo fixes.

Closes #58.

@tliron
Copy link
Contributor Author

tliron commented Sep 19, 2024

Note that I am suggesting something a bit controversial here: using dash case for value names.

We can discuss together if we agree with this. I say that for now we can merge my suggestion, and if we all agree: I will do the work of modify the rest of the document. If we don't agree: I will switch the text to say snake case.

And a few minor typo fixes.

Closes oasis-tcs#58.
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.

1 participant