Exercism पर Idris का उपयोग करने के बारे में वह सब जो आपको जानना चाहिए।
हमारे Idris डॉक्स देखिए और जानिए कि Exercism पर Idris का पूरा लाभ उठाने के लिए आपको क्या-क्या जानना चाहिए: Idris इंस्टॉल करने से लेकर टेस्ट चलाने, भाषा सीखने और काम के संसाधनों तक।