Agda.Utils.Pretty
class Pretty a
prettyShow
Doc
pwords
fwords
prettyList_
mparens
align
multiLineText
(<?>)
pshow