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