Вопросы с тегом Agda-режим - PullRequest

Вопросы с тегом Agda-режим

0 голосов
1 ответ

Я создал файл emacs trial_agda.agda со следующим кодом: module trial_agda where data ? : Set where...

user65526 / 10 ноября 2019
0 голосов
1 ответ

У меня есть следующий код в файле trial_agda.agda в emacs: module trial_agda where data ? : Set...

user65526 / 10 ноября 2019
0 голосов
0 ответов

Я изучаю Agda, и когда я печатаю C-c C -. , в моем Emacs нет никакой реакции. Я могу набрать C-c ....

Yu-zh / 10 июня 2019
3 голосов
2 ответов

Как лучше всего набрать что-то вроде m≤n в режиме Agma Emacs? Если я наберу m \

hugomg / 22 мая 2019
0 голосов
1 ответ

У меня есть этот код, который по сути представляет собой hello world, с функцией добавления, он...

Adjam / 26 марта 2019
0 голосов
0 ответов

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

ixaxaar / 22 февраля 2019
0 голосов
1 ответ

Я не могу заставить работать режим agda на Aquamacs.Я использую macOS Sierra.Agda версии 2.5.4 и...

ymmagdi / 08 июня 2018
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...