agdarsec
agdarsec copied to clipboard
gallais
Total Parser Combinators in Agda
As discussed in #29 , a CSV-parsing example could be useful. Looking at `Text.Parser.JSON`, I don't think what I have here is general enough to be in the main library...
I have a basic but ~working CSV parser that, with a little polishing, might be of use to others. Is there any interest in integrating this as an example or...
It would be nice to have: ```agda reLex : (check : q -> Maybe p) -> ∀[ Parser P v ] -> ∀[ Parser Q v ] ``` where `P`...
Just by reading https://markkarpov.com/post/megaparsec-7.html, I can see: * `anyTokenBut` * `noneOf`
The currently released version fails to build with agda-stdlib 2.0. This is fixed in master, but that fails to build for a different reason: ``` /build/source/examples/Expr.agda:8,1-26 Importing module Level.Bounded using...
