Module agda_mode::debug

Debugging utilities.

Functions

debug_command_via⚠
debug_response_via⚠
dont_debug_command⚠
dont_debug_response⚠
toggle_debug_command⚠
toggle_debug_response⚠