Closed gallais closed 4 years ago
I have written a small generic lexer as doc for the agda standard library's Trie. I think it would be nice to have a (better, position-aware) version of this for the total parser libraries. I'm planning to port it to agdarsec.
https://github.com/agda/agda-stdlib/blob/91f9c5ece802554a87f2106daa97902fefd17218/README/Trie.agda
Done (without the Trie as it hasn't been merged in stdlib yet): https://github.com/gallais/agdarsec/commit/39917e40045863ab13653bbe7c4f19fbc4f61c5f
I have written a small generic lexer as doc for the agda standard library's Trie. I think it would be nice to have a (better, position-aware) version of this for the total parser libraries. I'm planning to port it to agdarsec.
https://github.com/agda/agda-stdlib/blob/91f9c5ece802554a87f2106daa97902fefd17218/README/Trie.agda