Agda.Syntax.Concrete.Pretty

braces'

dbraces

bracesAndSemicolons

arrow

lambda

prettyHiding

prettyRelevance

data Tel

pColors

smashTel

prettyOpApp