Rename `Parallel` => `ParBeta` or `FullBeta.Parallel`
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 55/100
- Tipo di issue
- Refactoring
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Attiva
- Ambito
- compilers
Direzione di ricerca
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.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
#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.
- Lingua principale
- Lean
- Stelle
- 771
- Fork
- 216
- Merge medio
- 3g 3h
- PR unite (30g)
- 116
Preparare l'ambiente
Avvia il container di sviluppo del progetto nel browser, con il tuo account GitHub.
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di leanprover/cslib
-
`listFullBeta_cons_r` should rename to `listFullBeta_concat_r`Forse già presa @lengyijun l’ha presa 104 giorni fa. Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
leanprover/cslib#784 ·
I maintainer di solito rispondono entro 1 giorno
-
logic
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
leanprover/cslib#74 ·
I maintainer di solito rispondono entro 1 giorno
-
How do I use/work on Boole?Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 28/100
leanprover/cslib#1144 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
leanprover/cslib#824 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 64/100
leanprover/cslib#823 ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di leanprover/cslib
Issue simili
-
clang:frontend code-cleanup HLSL
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
llvm/llvm-project#235100 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
paritytech/polkavm#442 ·
-
policy-compiler
Difficoltà 2/5 1-3 ore Idoneità per principianti 67/100
aranya-project/aranya-core#861 · 3 commenti ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 83/100
objectionary/phino#2075 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
rescript-lang/rescript#8996 ·
I maintainer di solito rispondono entro 1 giorno