Agda.Syntax.Fixity

data Fixity'

type NewNotation

oldToNewNotation

syntaxOf

data Fixity

fixityLevel

defaultFixity

data Precedence

hiddenArgumentCtx

opBrackets

lamBrackets

appBrackets

withAppBrackets

piBrackets

roundFixBrackets