Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Syntax.Abstract.Pretty
Documentation
showA
:: (
Show
c,
ToConcrete
a c,
MonadTCM
tcm) => a -> tcm
String
Source
prettyA
:: (
Pretty
c,
ToConcrete
a c,
MonadTCM
tcm) => a -> tcm
Doc
Source
Produced by
Haddock
version 2.6.0