Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Syntax.Abstract.Pretty
Documentation
showA :: (Show c, ToConcrete a c, MonadTCM tcm) => a -> tcm StringSource
prettyA :: (Pretty c, ToConcrete a c, MonadTCM tcm) => a -> tcm DocSource
Produced by Haddock version 2.6.0