Agda.Syntax.Fixity
Fixity
data Fixity'
data ThingWithFixity x
data NewNotation
namesToNotation
notationNames
syntaxOf
defaultFixity'
noFixity'
mergeNotations
data Associativity
data Fixity
defaultFixity
noFixity
data Precedence
hiddenArgumentCtx
opBrackets
lamBrackets
appBrackets
withAppBrackets
piBrackets
roundFixBrackets