Agda.Syntax.Concrete.Pretty

braces'

dbraces

bracesAndSemicolons

arrow

lambda

prettyHiding

prettyRelevance

data Tel

smashTel

prettyOpApp