有没有任何例子
Idris可能用于研究，也许应用它为一般目的/“真实世界”的应用程序？
@H_404_4@我在Haskell中度精通，其中Idris似乎大量借用，官方FAQ /文档是相当不错，但它将是非常有益的，有一些更大的例子来探索。目标是尝试使用Idris进行实际软件开发。 TIA。
我在Haskell中度精通，其中Idris似乎大量借用，官方FAQ /文档是相当不错，但它将是非常有益的，有一些更大的例子来探索。目标是尝试使用Idris进行实际软件开发。 TIA。
此外，我们尝试维护一些可用的图书馆在维基上的列表：
https://github.com/idris-lang/Idris-dev/wiki/Libraries
