Agda.Syntax.Parser.Parser
moduleParser
moduleNameParser
exprParser
tokensParser
tests