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

Agda.TypeChecking.Pretty

Contents

Synopsis

Wrappers for pretty printing combinators

type Doc = DocSource

The PrettyTCM class