在哪里可以找到库

您可以在 github 上的 wiki 上找到 Idris 库的列表：https://github.com/idris-lang/Idris2/wiki/1-%5BLanguage%5D-Libraries

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