Agda.TypeChecking.Pretty
Wrappers for pretty printing combinators
type
Doc
comma
empty
The PrettyTCM class
class
PrettyTCM
a
data
PrettyContext