Agda.Syntax.Parser.Parser

moduleParser

moduleNameParser

exprParser

exprWhereParser

tokensParser

tests