Agda.Utils.Pretty

Pretty class

class Pretty a

prettyShow

Pretty instances

Doc utilities

pwords

fwords

prettyList_

mparens

align

multiLineText

(<?>)

pshow