Agda.Syntax.IdiomBrackets
parseIdiomBracketsSeq :: Range -> Maybe QName -> [Expr] -> ScopeM Expr Source #