(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-verbose "Building interface... ")
(agda2-verbose "Writing interface file Debug.agdai. ")
(agda2-verbose "Wrote interface file. ")
(agda2-verbose "Accumulated statistics. ")
(agda2-verbose "Finished Debug. ")
(agda2-verbose " New module. Let's check it out. ")
(agda2-verbose " Now we've looked at Debug ")
(agda2-status-action "Checked")
(agda2-info-action "*All Done*" "" nil)
((last . 1) . (agda2-goals-action '()))
