Agda.TypeChecking.Pretty
Wrappers for pretty printing combinators
The PrettyTCM class
class PrettyTCM a where
Instances
Agda-2.2.10: A dependently typed functional programming language and proof assistant
Agda.TypeChecking.Pretty
class PrettyTCM a where
Instances