Siin lehel saad teha algust funktsionaalprogrammeerimise ja -keele Idrisega!

Sissejuhatus: ülevaade keelest Idris Paradigmad, baasväärtused ja -tüübid Lambda-arvutus, kõrgemat järku funktsioonid Kordamine Sisend-väljund Test materjal