Agda-2.2.10: A dependently typed functional programming language and proof assistant

Agda.TypeChecking.Pretty

Contents

Synopsis

Wrappers for pretty printing combinators

type Doc = Doc

comma :: MonadTCM tcm => tcm Doc

empty :: MonadTCM tcm => tcm Doc

The PrettyTCM class