Agda.Syntax.Parser
Types
data
Parser
a
Parse functions
parse
parseLiterate
parsePosString
parseFile'
Parsers
moduleParser
exprParser
tokensParser
Parse errors
data
ParseError