我在 C:\Users\name\AppData\Roaming\agda 中创建了一个文件 libraries.txt 我已经插入了标准库的路径,因为它安装在我的电脑上:“C:\Users\name\Desktop\agda-stdlib-master\standard-library.agda-lib”,它说我找不到它。有什么解决办法吗?
最佳答案
文件名应称为 libraries(不带扩展名)而不是 libraries.txt。您可能需要从命令提示符执行此操作(移动 libries.txt 库)
关于windows - 如何在 Windows 上安装 Agda 的标准库?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54946812/