Agda：命令行上的emacs绑定？

Question

是否可以使用agda与emacs绑定并将其移至命令行的某些功能？

agda命令行是否提供诸如处理孔C-c C-,，C-c C-d之类的选项或诸如C-c C-d之类的类型扣除项的选项？