Avoiding manual conversion step & autocompletion
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 25/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Área
- cli
Línea de trabajo
Empieza leyendo la API actual de la biblioteca en torno a los valores Parsed, las macros de configuración y el paso final de conversión. Define la finalización como una estructura de salida con seguridad de tipos que elimine la conversión adicional y añada autocompletado, pero el issue no especifica archivos ni pruebas que ejecutar.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
When I have time to work on this again (in ~2 months), I'd like to adjust the API so that no extra conversion step is necessary at the end and work on autocompletion.
For the former, a macro approach could work well, where a type-safe output structure is generated either from a Parsed value or even directly at the start using the configuration macro. The library does not really track the real type right now, so the latter should be safer.
- Lenguaje dominante
- Lean
- Estrellas
- 120
- Forks
- 30
- Merge medio
- 5 min
- PR fusionados (30 d)
- 4
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
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 leanprover/lean4-cli
-
Dificultad 3/5 1-2 días Aptitud para principiantes 52/100
leanprover/lean4-cli#89 ·
Todos los issues de leanprover/lean4-cli
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
vercel-labs/just-bash#464 ·
-
looksLikeSlug() is ASCII-only, so non-Latin entity slugs (e.g. Korean) skip exact match and collapse Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
bug
Dificultad 1/5 Menos de una hora Aptitud para principiantes 85/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
vercel-labs/skills#2291 ·
-
setup tools wizard offers no GitHub auth path, and setup summary doesn't recognize `gh` CLI auth Abiertoarea/auth comp/cli P3 tool/skills type/bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
NousResearch/hermes-agent#121131 ·