lean-ja / lean-ja/lean-by-example
Repr インスタンスの自動derivingをやめて、deriving Repr を提案する code action を出す
Open
Nobody has claimed this yet.
Zulipで質問すべき
付録アイデア
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
その方が話が早いのではないか？
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 by locating the implementation of automatic Repr instance deriving and any existing code-action infrastructure in the repository. Clarify whether the intended change is to remove automatic deriving, add a suggestion for deriving Repr, or both. Done should be defined by the issue author and verified with the relevant existing tests.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100