Agda.Syntax.Parser

Types

data Parser a

Parse functions

Parsers

Parse errors

data ParseError