Как установить стандартную библиотеку для Agda в Windows? - PullRequest
0 голосов
/ 01 марта 2019

Я создал файл library.txt в C: \ Users \ name \ AppData \ Roaming \ agda и вставил путь к стандартной библиотеке, как она была установлена ​​на моем компьютере: "C: \ Users \ name \Рабочий стол \ agda-stdlib-master \ standard-library.agda-lib "и там написано, что я не могу его найти.Любые решения?

1 Ответ

0 голосов
/ 01 марта 2019

Имя файла должно называться библиотеки (без расширения), а не библиотеки .txt.Возможно, вам придется сделать это из командной строки (переместить библиотеки libries.txt)

...