Agda.Utils.Pretty

class Pretty a

pwords

fwords

mparens

align