Přidáváte názor ke zprávičce Nová verze jazyka Idris 2 přidává inkrementální překlad a zrychluje typovou kontrolu.
