Як вивчати Idris

Огляд того, як почати з нуля в Idris

Цей туторіал призначено як короткий вступ до мови, і його адресовано читачам, які вже знайомі з функціональною мовою, як-от Haskell чи OCaml. Зокрема, передбачається певне знайомство з синтаксисом Haskell, хоча більшість концепцій принаймні стисло пояснюють. Також передбачається, що читач певною мірою зацікавлений у використанні залежних типів для написання і перевірки системного програмного забезпечення.