Agda.Syntax.Concrete.Pretty
braces'
dbraces
bracesAndSemicolons
arrow
lambda
pHidden
pRelevance
data Tel
pColors
smashTel
prettyOpApp