Agda.Utils.Pretty
Description
Pretty printing functions.
Documentation
Instances
module Text.PrettyPrint
Agda-2.2.6: A dependently typed functional programming language and proof assistant
Agda.Utils.Pretty
Description
Pretty printing functions.
Instances
module Text.PrettyPrint