Я создал файл emacs trial_agda.agda со следующим кодом: module trial_agda where data ? : Set where...
У меня есть следующий код в файле trial_agda.agda в emacs: module trial_agda where data ? : Set...
Я изучаю Agda, и когда я печатаю C-c C -. , в моем Emacs нет никакой реакции. Я могу набрать C-c ....
Как лучше всего набрать что-то вроде m≤n в режиме Agma Emacs? Если я наберу m \
У меня есть этот код, который по сути представляет собой hello world, с функцией добавления, он...
Возможно ли иметь некоторые из функций, которые agda связывает с emacs, и перемещать их в командную...
Я не могу заставить работать режим agda на Aquamacs.Я использую macOS Sierra.Agda версии 2.5.4 и...