argumentcomputer/Megaparsec.lean
Auf GitHub ansehenLean 4 port of Megaparsec
- Sterne
- 37
- Forks
- 8
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 9
- Vorherrschende Sprache
- Lean
- Lizenz
- MIT
- Letzter GitHub-Push
- 12.9.2023
- Zuletzt indexiert
- 14.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- good first issue
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
-
argumentcomputer/Megaparsec.lean#18 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
difficult postponed
argumentcomputer/Megaparsec.lean#20 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
argumentcomputer/Megaparsec.lean#25 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
good first issue
argumentcomputer/Megaparsec.lean#26 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
argumentcomputer/Megaparsec.lean#29 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
argumentcomputer/Megaparsec.lean#40 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
argumentcomputer/Megaparsec.lean#54 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Bump Straume version Offen
argumentcomputer/Megaparsec.lean#55 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
argumentcomputer/Megaparsec.lean#59 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·