Rename `Parallel` => `ParBeta` or `FullBeta.Parallel`
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 55/100
- Tipo de issue
- Refactorización
- Claridad
- Bastante claro
- Estado de actividad
- Activo
- Área
- compilers
Línea de trabajo
Start with the Parallel relation in the linked FullBetaConfluence API documentation and review the parallel β-reduction changes from #965. Trace where the relation and its ⭢ₚ notation are defined and used. Done means the β-reduction name is unambiguous and the notation plan distinguishes it from parallel η-reduction.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
#965 introduces parallel η-reduction. As a result, Parallel is no longer an unambiguous name for the parallel β-reduction, since we will now have both parallel β-reduction and parallel η-reduction.
The parallel β-reduction is currently defined as Parallel.
I suggest renaming Parallel to either ParBeta or FullBeta.Parallel. This would make it clear that the relation specifically represents parallel β-reduction.
There is also a notation issue. Parallel currently uses the notation ⭢ₚ. If ParEta is introduced for parallel η-reduction, it is unclear what notation should be assigned to it.
- Lenguaje dominante
- Lean
- Estrellas
- 777
- Forks
- 217
- Merge medio
- 3 d 11 h
- PR fusionados (30 d)
- 107
Preparar el entorno
Inicia el contenedor de desarrollo del proyecto en tu navegador, con tu propia cuenta de GitHub.
- Sin Dockerfile ni archivo de Docker Compose
- Sin plantilla de pull request
- Leer la 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 leanprover/cslib
-
`listFullBeta_cons_r` should rename to `listFullBeta_concat_r`Posiblemente ocupada @lengyijun la tomó hace 107 días. Abierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 72/100
leanprover/cslib#784 ·
Los mantenedores suelen responder en 1 día
-
logic
Dificultad 1/5 Menos de una hora Aptitud para principiantes 72/100
leanprover/cslib#74 ·
Los mantenedores suelen responder en 1 día
-
How do I use/work on Boole?Abierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 28/100
leanprover/cslib#1144 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
leanprover/cslib#824 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 3/5 1-2 días Aptitud para principiantes 64/100
leanprover/cslib#823 ·
Los mantenedores suelen responder en 1 día
Todos los issues de leanprover/cslib
Issues similares
-
bug intrinsic medium priority rt_lib
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
Los mantenedores suelen responder en 1 día
-
[LoopSink] Sinking a preheader freeze into the loop allows its value to change between iterationsAbiertoconfirmed generated by fuzzer loopoptim miscompilation regression:17
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
llvm/llvm-project#236129 ·
Los mantenedores suelen responder en 1 día
-
area:codegen backend:metal bug direction:output
Dificultad 2/5 1-3 horas Aptitud para principiantes 79/100
Los mantenedores suelen responder en 1 día
-
JS_SetPropertyInternal2 loses the value when a lazy property on the prototype runs out of memoryAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
quickjs-ng/quickjs#1852 ·
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 74/100
matter-labs/era-compiler-llvm#978 · 3 comentarios ·
Los mantenedores suelen responder en 5 días