Idris को कैसे सीखें

• आधिकारिक डॉक्यूमेंटेशन

यह ट्यूटोरियल भाषा का संक्षिप्त परिचय देता है और उन पाठकों के लिए है जो Haskell या OCaml जैसी किसी फंक्शनल भाषा से पहले से परिचित हैं। विशेष रूप से, यह मान लिया गया है कि आप Haskell सिंटैक्स से कुछ हद तक परिचित हैं, हालाँकि ज़्यादातर कॉन्सेप्ट कम से कम संक्षेप में समझाए जाएँगे। यह भी मान लिया गया है कि आपको सिस्टम सॉफ्टवेयर लिखने और सत्यापित करने के लिए डिपेंडेंट टाइप इस्तेमाल करने में कुछ रुचि है।