Hogyan tanulj meg Idrist

Áttekintés arról, hogyan kezdj bele az Idrisbe a nulláról

Ez az útmutató rövid bevezetést nyújt a nyelvbe, és olyan olvasóknak szól, akik már ismernek egy funkcionális nyelvet, például a Haskellt vagy az OCaml-t. Különösen bizonyos fokú jártasságot feltételezünk a Haskell szintaxisában, bár a legtöbb fogalmat legalább röviden elmagyarázzuk. Az olvasóról azt is feltételezzük, hogy érdeklődik a függő típusok iránt, és rendszerszoftverek írásához és ellenőrzéséhez szeretné használni azokat.