چگونه Idris را یاد بگیریم

• مستندات رسمی

هدف این آموزش، معرفی کوتاه این زبان است و مخاطب آن خوانندگانی هستند که پیش‌تر با یک «زبان تابعی» مانند Haskell یا OCaml آشنایی دارند. به‌ویژه، فرض می‌شود که خواننده تا حدی با نحوه‌ی نگارش Haskell آشناست، هرچند بیشتر مفاهیم دست‌کم به‌طور خلاصه توضیح داده می‌شوند. همچنین فرض می‌شود که خواننده به استفاده از «نوع‌های وابسته» برای نوشتن و راستی‌آزمایی نرم‌افزارهای سیستمی علاقه دارد.