dist/build/Agda/Syntax/Parser/Lexer.hs
dist/build/Agda/Syntax/Parser/Parser.hs