Agda.Syntax.Concrete.Pretty

braces'

dbraces

bracesAndSemicolons

arrow

lambda

pHidden

pRelevance

showString'

showChar'

data Tel

pColors

smashTel

prettyOpApp