Agda.TypeChecking.Pretty

Wrappers for pretty printing combinators

type Doc

comma

empty

text

fsep

hsep

vcat

sep

(<>)

(<+>)

($$)

The PrettyTCM class

class PrettyTCM a

data PrettyContext