Simple generic lexer
gallais opened this issue · 1 comments
gallais commented
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
gallais commented
Done (without the Trie as it hasn't been merged in stdlib yet): gallais/agdarsec@39917e4