Idris কীভাবে শিখবেন

• অফিসিয়াল ডকুমেন্টেশন

এই টিউটোরিয়ালটি ভাষাটির একটি সংক্ষিপ্ত পরিচিতি হিসেবে লেখা হয়েছে, এবং এর পাঠক হলেন তাঁরা যারা ইতিমধ্যেই Haskell বা OCaml-এর মতো কোনো ফাংশনাল ভাষার সাথে পরিচিত। বিশেষ করে, Haskell-এর সিনট্যাক্সের সাথে কিছুটা পরিচিতি ধরে নেওয়া হয়েছে, যদিও বেশিরভাগ ধারণা অন্তত সংক্ষেপে ব্যাখ্যা করা হবে। এছাড়া ধরে নেওয়া হয়েছে, পাঠকের সিস্টেম সফটওয়্যার লেখা ও যাচাই করার জন্য ডিপেন্ডেন্ট টাইপ ব্যবহারে কিছুটা আগ্রহ আছে।