Idrisのドキュメント

ExercismでIdrisを使うために知っておきたいことをすべてまとめました。

Idrisのドキュメントを見て、ExercismでIdrisを最大限に活かすために必要なことをすべて見つけましょう。Idrisのインストールから、テストの実行、言語の学習、役立つリソースまで紹介しています。