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