Agda.Syntax.Parser

Types

data Parser a

Parse functions

parse

parseLiterate

parsePosString

parseFile'

Parsers

moduleParser

moduleNameParser

exprParser

tokensParser

Parse errors

data ParseError