如何在 Windows 上安装 Agda 标准库？

【问题标题】：How do I install the Standard-Library for Agda on Windows?如何在 Windows 上安装 Agda 标准库？
【发布时间】：2019-07-23 14:45:49
【问题描述】：

我在 C:\Users\name\AppData\Roaming\agda 中创建了一个文件 libraries.txt 我已经插入了标准库的路径，因为它安装在我的电脑上：“C:\Users\name\Desktop\agda-stdlib-master\standard-library.agda-lib”，它说我找不到它。有什么解决办法吗？

【问题讨论】：

标签： windows agda standard-library

【解决方案1】：

文件名应称为libraries（不带扩展名）而不是libraries.txt。您可能需要在命令提示符下执行此操作（移动 libries.txt 库）

【讨论】：