Idrisの58個の演習で練習しましょう さまざまなコンセプトやアイデアを扱う58個の演習をこなして、Idrisを学び、練習しましょう。 Idrisトラックに参加する ExercismのIdris演習を見てみましょう 進めていくにつれて、もっと多くの演習のロックを解除できます。どれも良い練習になり、楽しく取り組めます!