如何在 Windows 上为 Agda 安装标准库？
How do I install the Standard-Library for Agda on Windows?
我在 C:\Users\name\AppData\Roaming\agda 中创建了一个文件 libraries.txt
我已经插入了标准库的路径，因为它安装在我的电脑上："C:\Users\name\Desktop\agda-stdlib-master\standard-library.agda-lib"，它说我找不到它。有什么解决办法吗？
文件名应称为库（不带扩展名）而不是 libraries.txt。您可能需要从命令提示符执行此操作（移动 libries.txt 库）
我在 C:\Users\name\AppData\Roaming\agda 中创建了一个文件 libraries.txt 我已经插入了标准库的路径，因为它安装在我的电脑上："C:\Users\name\Desktop\agda-stdlib-master\standard-library.agda-lib"，它说我找不到它。有什么解决办法吗？
文件名应称为库（不带扩展名）而不是 libraries.txt。您可能需要从命令提示符执行此操作（移动 libries.txt 库）