Idris 文件

在 Exercism 上使用 Idris 所需知道的一切。

探索我們的 Idris 文件，了解如何在 Exercism 充分體驗 Idris，從安裝 Idris、執行測試、學習這門語言，到實用的資源，應有盡有。