Agda.TypeChecking.Pretty

Wrappers for pretty printing combinators

type Doc

comma

empty

The PrettyTCM class

class PrettyTCM a

data PrettyContext