pretty package:Agda

Pretty printing functions.
While Show is for rendering data in Haskell syntax, Pretty is for displaying data to the world, i.e., the user and the environment. Atomic data has no inner document structure, so just implement pretty as pretty a = text $ ... a ....
Pretty printer for the concrete syntax.
Generates an error message corresponding to SigCubicalNotErasure for a given QName.
Pretty-prints the context of the given meta-variable.
Pretty-prints the type of the meta-variable.