我在C:\Users\name\AppData\Roaming\agda中创建了一个文件libraries.txt我已经插入了标准库的路径，因为它安装在我的电脑上:“C:\Users\name\Desktop\agda-stdlib-master\standard-library.agda-lib”，它说我找不到它。有什么解决办法吗？ 最佳答案 文件名应称为libraries(不带扩展名)而不是libraries.txt。您可能需要从命令提示符执行此操作(移动libries.txt库)