Возможно ли иметь некоторые из функций, которые agda связывает с emacs, и перемещать их в командную строку?
Предоставляет ли командная строка agda опции для таких вещей, как работа с дырами C-c C-,, C-c C-d или введите отчисления типа C-c C-d?
C-c C-,
C-c C-d