Agda.Utils.Pretty

Pretty class

class Pretty a

prettyShow

prettyList

Pretty instances

Doc utilities

pwords

fwords

mparens

align