Agda-pkg是用于管理库的简单工具,它具有其他功能,例如安装来自不同来源的库。 该工具完全不修改Agda ,它只是系统地管理.agda目录, .agda包含.agda/defaults和.agda/libraries文件,这些文件由Agda用于查找可用的库。 有关Agda软件包系统如何工作的更多信息,请在阅读官方文档。 快速开始 agda-pkg的最常见用法如下: 要安装Agda-pkg只需运行以下命令: $ pip3 install agda-pkg 要安装您的库,请转到源代码的根目录并运行: $ apkg install --editable . 要从安装库。 $ apk