leanprover / leanprover/reference-manual
Should the diagram for runtime representation of strings indicate unused capacity?
Open
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 129
- Forks
- 67
- Avg merge
- 1d 15h
- Merged PRs (30d)
- 16
Description
If there was some visual representation of unused capacity beyond the null terminator in the diagram, the text would be easier to understand.
Not essential of course, just would have helped me.
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
Locate the diagram covering the runtime representation of strings and read the surrounding explanation. Update the visual representation to show unused capacity beyond the null terminator, then verify that the diagram and text describe the same layout.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100