search

argumentcomputer / Megaparsec.lean

Lean 4 port of Megaparsec
MIT License
22 stars 4 forks source link

Bump NEList #46

Closed winston-h-zhang closed 1 year ago

cognivore commented 1 year ago

Fails to build, closing in favour of #48.