argumentcomputer/Megaparsec.lean
Vedi su GitHubLean 4 port of Megaparsec
- Stelle
- 37
- Fork
- 8
- Issue aperte per principianti
- 0
- Issue indicizzate
- 9
- Lingua principale
- Lean
- Licenza
- MIT
- Ultimo push su GitHub
- 12/9/2023
- Ultima indicizzazione
- 14/9/2026
- Guida per i contributori
- Nessuna guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- good first issue
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
-
argumentcomputer/Megaparsec.lean#18 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
difficult postponed
argumentcomputer/Megaparsec.lean#20 · 1 commento · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Megaparsec.lean#25 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
good first issue
argumentcomputer/Megaparsec.lean#26 · 1 commento · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Megaparsec.lean#29 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Megaparsec.lean#40 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
argumentcomputer/Megaparsec.lean#54 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Bump Straume version Aperta
argumentcomputer/Megaparsec.lean#55 · 3 commenti · 0 reazioni · 0 assegnatari ·
-
Can you update the project? Aperta
argumentcomputer/Megaparsec.lean#59 · 0 commenti · 0 reazioni · 0 assegnatari ·