Agda.Syntax.Fixity

Notation coupled with Fixity

data Fixity'

data ThingWithFixity x

data NewNotation

namesToNotation

notationNames

syntaxOf

defaultFixity'

noFixity'

mergeNotations

Fixity

data Associativity

data Fixity

defaultFixity

noFixity

Precendence

data Precedence

hiddenArgumentCtx

opBrackets

lamBrackets

appBrackets

withAppBrackets

piBrackets

roundFixBrackets

Printing