[Typo] Sect 5.0 "The numbering of the Python equivalent of aTree is"
Nobody has claimed this yet.
Assessment
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Newbie friendliness
- 45/100
- Issue type
- Documentation
- Clarity
- Clearly specified
- Activity status
- Stale
- Domain
- documentation
Research direction
Start in Section 5.0, under the “Numbering Tree Nodes” subsection, and inspect the sentence about the Python equivalent of aTree alongside the split example blocks. Confirm whether “numbering of the” is leftover wording, then remove it if appropriate. Done means the sentence reads correctly in the rendered documentation.
Written by the indexing model from the issue text.
Description
Section 5.0, "Numbering Tree Nodes" subsection:
Should "numbering of the" be deleted from "The numbering of the Python equivalent of aTree is"?
(It looks like the example code was split into two blocks and this wording is left over from prior to the split.)
- Dominant language
- Lean
- Stars
- 192
- Forks
- 73
- PR merge metrics
- No merged PRs in 30d
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.
More from leanprover/fp-lean
-
Difficulty 1/5 Under an hour Newbie friendliness 92/100
leanprover/fp-lean#301 ·
-
UnusedVariable warning in Point3D pattern matching example (depth function) 1.5.1. Pattern Matching Open
Difficulty 1/5 Under an hour Newbie friendliness 90/100
leanprover/fp-lean#298 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 78/100
leanprover/fp-lean#296 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 90/100
leanprover/fp-lean#291 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 72/100
leanprover/fp-lean#282 ·
All issues in leanprover/fp-lean
Similar issues
-
Crush Open
Difficulty 1/5 Under an hour Newbie friendliness 85/100
catppuccin/catppuccin#3125 ·
-
Link Checker Report Openautomated issue report
Difficulty 1/5 Under an hour Newbie friendliness 95/100
-
Difficulty 1/5 Under an hour Newbie friendliness 90/100
VoltAgent/awesome-design-md#469 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
KhronosGroup/glTF#2648 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 90/100
sccn/sccn.github.io#108 ·