Naming: Rename Common lean to something else. (What ??)
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
- Refactorización
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Área
- compilers
Línea de trabajo
Empieza leyendo Common.lean y revisando qué definiciones son específicas de BEq α o BEq β y cuáles son realmente genéricas. Decide un nombre de reemplazo que refleje el alcance restante; se considera terminado cuando se haya acordado el cambio de nombre y las referencias a archivos que el issue termine teniendo puedan actualizarse de forma coherente.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Why?
After a while we'll notice that everything that is truly generic here will be removed from Common.lean to other repositories, leaving only stuff that's either BEq \alpha or BEq \beta here.
What?
- Perhaps we should rename Common.lean (eventually) reflecting this.
- Lenguaje dominante
- Lean
- Estrellas
- 37
- Forks
- 8
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
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 argumentcomputer/Megaparsec.lean
-
Can you update the project?Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Bump Straume versionAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
argumentcomputer/Megaparsec.lean#55 · 3 comentarios ·
-
Performance: Profile Megaparsec to see where the bottlenecks are leading to poor performanceAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
-
good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 52/100
argumentcomputer/Megaparsec.lean#26 · 1 comentario ·
Todos los issues de argumentcomputer/Megaparsec.lean
Issues similares
-
bug priority: P2
Dificultad 1/5 Menos de una hora Aptitud para principiantes 78/100
Los mantenedores suelen responder en 1 día
-
confirmed generated by fuzzer llvm:optimizations miscompilation
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
llvm/llvm-project#234325 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 62/100
-
Support underscore in modulesAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
gren-lang/compiler-common#41 ·
-
area:codegen backend:hlsl bug coverage direction:output
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
Los mantenedores suelen responder en 1 día