Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.TypeChecking.Errors
Documentation
prettyError
::
MonadTCM
tcm =>
TCErr
-> tcm
String
Source
class
PrettyTCM
a
where
Source
Methods
prettyTCM
::
MonadTCM
tcm => a -> tcm
Doc
Source
tcErrString
::
TCErr
->
String
Source
Produced by
Haddock
version 2.6.0