Agda.Syntax.IdiomBrackets

parseIdiomBrackets