Allow repeated modifiers to simplify naming
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 35/100
Research direction
No file or test is named in the issue. Start by locating the symbol-name parsing and modifier-handling entry points, then compare the existing times and times.o cases with the proposed repeated names. Done should include a settled naming rule and coverage showing that examples such as times.o.o, lt.seq.gt.seq, and gt.seq.lt.seq resolve correctly.
Written by the indexing model from the issue text.
Description
For a handful of symbols, it would be useful to be able to repeat modifiers. I give two examples here.
- We currently have
× - times
⊗ - times.o
Another variant that has not been named yet is ⨷, where times.o.o is an obvious name candidate.
- In "Supplemental Mathematical Operators" one finds ⪓ and ⪔.
Natural names would be lt.seq.gt.seq and gt.seq.lt.seq.
(Or any of a number of other alternatives, but they all share the need to repeat one or more modifiers)
This is only somewhat orthogonal to making it possible to disambiguate using order (the other proposal)
- Dominant language
- Rust
- Stars
- 53
- Forks
- 22
- 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 typst/codex
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 35/100
-
proposal
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
Lack of ⊻ U+22BB Openproposal
Difficulty 2/5 1-3 hours Newbie friendliness 45/100
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
stratum-mining/stratum#2404 ·
-
bug ci good first issue
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 85/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 84/100
Eynzof/Hermes-CN-Desktop#610 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100