{{ message }}
Repository navigation
docs: rephrase language on splash page - #10
Closed
msmoiz-biq wants to merge 1 commit into
Closed
msmoiz-biq wants to merge 1 commit into
msmoiz-biq wants to merge 1 commit into
Conversation
msmoiz-biq
marked this pull request as ready for review
January 2, 2026 19:36
yhk1038
reviewed
Jan 5, 2026
Contributor
There was a problem hiding this comment.
@msmoiz-biq
Thank you for your contribution!
But I believe "and" is a bit closer to expressing the meaning of each word independently than "at."
Static typing: is recognized as existing from the moment the .trb file is written by the developer, before "compile time."Compile time: inherently encompasses much more than "static typing," suggesting that we can expect even richer functionality in the future.
Contributor
There was a problem hiding this comment.
And another one.
This text is a fallback text for i18n translate.
Please note that if you wish to modify the actual text,
you will need to edit each "locale" file together for it to take effect. 👍
Author
There was a problem hiding this comment.
Ah I see, I read compile time as a necessary evil to support static typing (i.e., to translate from a .trb file to something that you can execute), not as a feature itself
Contributor
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This pull request updates the language on the splash to indicate that the tool
provides static types at compile time rather than and compile time (unless
that is the intended language, in which case ignore this!).