Rename `times` to `cross`
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 25/100
Línea de trabajo
El issue propone renombrar times a cross, al tiempo que amplía el soporte para ambos nombres como alternativa. No se identifican archivos, pruebas ni puntos de entrada; primero revisa la discusión de seis comentarios y localiza las definiciones y referencias existentes de los símbolos times, infinity y oo. El trabajo estará terminado cuando se acuerde una dirección de nomenclatura y los símbolos afectados se gestionen de forma coherente.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Pro:
- Easier to discover (at least in my experience), esp. if you already know that
dotrefers to a multiplication dot, then I'd expect to find the multiplication cross under the according name. - Nicely parallels the naming between cross and dot product.
timescould mean any kind of multiplication symbol;crossis more descriptive (esp. considering differing conventions, like in Germany, where the typical "times" symbol is almost always a dot).
Con:
- Precedent of HTML using
×, LaTeX using\times, and codepoints likeU+2297 CIRCLED TIMESin Unicode. - Might be assumed to refer to
crossmarkor similar. - Obviously quite breaking.
Concerning the last point, an alternative could be to support both names, similar to infinity and oo coexisting. I'm unaware if this proposal has been discussed and/or declined in the past.
- Lenguaje dominante
- Rust
- Estrellas
- 53
- Forks
- 22
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de typst/codex
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 55/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100
-
Lack of ⊻ U+22BB Abiertoproposal
Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
Todos los issues de typst/codex
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
TheLarkInn/aipm#2413 ·
-
documentation
Dificultad 1/5 Menos de una hora Aptitud para principiantes 90/100
alexgorbatchev/simple-ptt#15 ·
-
tooling
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
todo:ticket
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
taikoxyz/taiko-mono#22168 · 1 comentario ·