Я изучаю Agda, и когда я печатаю C-c C -. , в моем Emacs нет никакой реакции. Я могу набрать C-c . или C-c M -. , и тогда мне скажут, что эти привязки не определены. Но когда я пытаюсь набрать C-c C -. , мини-буфер показывает только C-c
, и кажется, что Emacs ожидает следующей привязки ключа. Так как мне решить эту проблему?
Я использую MacOS. Любая помощь будет оценена.