lean-ja / lean-ja/lean-by-example
ptrAddrUnsafe の説明は正しい？
Open
Nobody has claimed this yet.
要調査
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
ドキュメントコメントもないし、本当に正しい説明をしているのか一度確認したほうがいい。
あと、doc comment を追加するPRを出しても良いと思う。
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 ptrAddrUnsafe in the repository and read its surrounding explanation and documentation comments, if any. Compare the description with the relevant Lean behavior; done means the explanation is confirmed or corrected and the missing doc comment is added if that work is included.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 45/100