Agda.Utils.Pretty
Pretty class
class
Pretty
a
prettyShow
prettyList
Pretty instances
Doc
utilities
pwords
fwords
mparens
align