Názory k článku
Nová verze jazyka Idris 2 přidává inkrementální překlad a zrychluje typovou kontrolu

Článek je starý, nové názory již nelze přidávat.