Agda.Interaction.EmacsCommand

data Lisp a

response

putResponse

display_info'

display_warning

clearRunningInfo

clearWarning

displayRunningInfo