Startling name of chapter in "Introduction to SPARK": "Initialization of Local Variables"
Open
Nobody has claimed this yet.
- Dominant language
- Ada
- Stars
- 117
- Forks
- 49
- Avg merge
- 44m
- Merged PRs (30d)
- 8
Description
The chapter explains the Initializes aspect, which, as I understand, marks the initialization of package state implemented as global variables, not local.
Contributor guide
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
Start with the linked Introduction to SPARK chapter at the “Initialization of Local Variables” section and locate its source in the learn repository. Confirm whether the heading should refer to package state or global variables, then update the chapter title and verify that the rendered section link still works.
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
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100