search

argumentcomputer / Megaparsec.lean

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

bumping toolchain and libs #44

Closed arthurpaulino closed 1 year ago