Agda.Syntax.Concrete.Operators

parseApplication

parseLHS

paren

mparen