在哪里可以找到库

您可以在 GitHub 上的 wiki 中找到 Idris 库的规范来源：https://github.com/idris-lang/Idris2/wiki/Third-party-Libraries

欢迎您在那里贡献自己的库！最终，我们的目标是拥有一个包管理器来管理库和依赖项。我们还没有官方的包管理器，但（至少）有一个正在积极开发中：