Agda.Syntax.Concrete.Pretty

braces'

dbraces

arrow

lambda

underscore

pHidden

pRelevance

showString'

showChar'

smashTel

prettyOpApp