lean-ja / lean-ja/lean-by-example
帰納型とは何か
Open
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
データ型とは、以下の三つにより定まる。
- その型の項を作る方法
- その型からの関数を作る方法
- 上記の二つの間の関係
そして帰納型とは、データ型のうち fold することができるものである。
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 reading the issue body, which introduces data types and inductive types using the notion of fold. The payload names no documentation file, entry point, or acceptance criteria, so the work is not complete until the target location and expected explanatory content are clarified.
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
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100