Agda.Syntax.Parser.Parser

moduleParser

moduleNameParser

exprParser

tokensParser

tests