Agda: привязки emacs в командной строке?

Question

Можно ли использовать некоторые функции, которые agda связывает с emacs, и переносить их в командную строку?

Есть ли в командной строке agda опции для работы с дырами? C-c C-,, C-c C-dили введите отчисления типа C-c C-d?