Use megaparsec as default PB parser and add --pb-fast-parser option to use attoparsec - Githubissues

msakai / toysolver

My sandbox for experimenting with solver algorithms.

Other

154 stars 11 forks source link

Use megaparsec as default PB parser and add --pb-fast-parser option to use attoparsec #71

Closed msakai closed 3 years ago