tlaplus / tlaplus/tla-by-example
Module Structure have incorrect information about sandbox environment.
Open
Beginner friendly
Nobody has claimed this yet.
- Dominant language
- TypeScript
- Stars
- 10
- Forks
- 5
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 3
Description
This text probably right when executed from command line
Notice how the module name matches the tab filename. Try modifying it and running TLC to see what happens.
but when I change module name in the browser, TLC happily chugging along.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Search the repository for the quoted module-name text and inspect the surrounding Module Structure documentation. Compare the command-line and browser sandbox behavior described in the issue, then revise the text so it accurately explains the browser case and verify the updated wording.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Activity status
- Active
- Clarity
- Mostly clear
- Newbie friendliness
- 75/100