agda/agda2lambox
Compiling Agda's internal syntax to λ-box terms.
agda/agda2lambox è adatto ai principianti?
Abbiamo visto troppo poche pull request recenti di contributori esterni su agda/agda2lambox per dire quanto spesso vengono accettate. Al momento non è aperta nessuna issue adatta ai principianti; l'elenco qui sotto mostra le altre issue che abbiamo per questo repository.
- Stelle
- 11
- Fork
- 3
- Issue aperte per principianti
- 0
- Issue indicizzate
- 13
- Merge medio
- 9h 11m
- PR unite (30g)
- 3
- Lingua principale
- Haskell
- Licenza
- Nessun dato sulla licenza
- Ultimo push su GitHub
- 25/10/2026
- Ultima indicizzazione
- 27/10/2026
- Guida per i contributori
- Nessuna guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- good first issue help wanted
Come contribuire a agda/agda2lambox
- Non c'è una guida per contribuire: parti dal README e da alcune pull request accettate di recente per capire come si propongono le modifiche.
- Segui il repository per sapere quando si apre una nuova issue adatta ai principianti, oppure guarda le altre issue qui sotto.
Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data
-
Internal errorAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
agda/agda2lambox#49 · 1 commento ·
-
good first issue icebox
Difficoltà 3/5 1-2 giorni Idoneità per principianti 39/100
agda/agda2lambox#36 · 1 reazione ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
agda/agda2lambox#29 · 1 commento ·
-
enhancement help wanted
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
agda/agda2lambox#24 ·
-
LazinessApertaenhancement icebox
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
agda/agda2lambox#12 ·
-
bug enhancement icebox
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
agda/agda2lambox#10 ·
-
Cache compilation of modulesApertaenhancement icebox
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
agda/agda2lambox#9 ·
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
agda/agda2lambox#8 ·
-
Support coinductionApertaenhancement icebox
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
agda/agda2lambox#7 ·
-
bug enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
agda/agda2lambox#6 · 1 commento ·
-
Support Nat literal patternsApertaenhancement icebox
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
agda/agda2lambox#4 ·