有没有任何例子
Idris可能用于研究，也许应用它为一般目的/“真实世界”的应用程序？
我在Haskell中度精通，其中Idris似乎大量借用，官方FAQ /文档是相当不错，但它将是非常有益的，有一些更大的例子来探索。目标是尝试使用Idris进行实际软件开发。 TIA。
Edwin Brady在
https://github.com/edwinb/idris-demos有一个回报充分的演示。
除此之外，它还有一个可玩的空间入侵者游戏，使用SDL绑定，效果和！-effect语法(基本上是替换语法do / notation />> =)。
除此之外，它还有一个可玩的空间入侵者游戏，使用SDL绑定，效果和！-effect语法(基本上是替换语法do / notation />> =)。
此外，我们尝试维护一些可用的图书馆在维基上的列表：
https://github.com/idris-lang/Idris-dev/wiki/Libraries
