Root.cz  »  Programovací jazyky  »  Vyšla nová verze jazyka Idris 2  »  Všechny názory

Názory k článku
Vyšla nová verze jazyka Idris 2

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

Dále u nás najdete

V ČR vznikají čtyři velká datacentra pro AI

Zahraniční cestovní náhrady v roce 2026. 0smnást nových sazeb

Kolik bude stát snížení záloh OSVČ? Každý tvrdí něco jiného

Legitimní weby jsou zneužívány k manipulaci prohlížečů

Jak funguje platforma IBM Power11?

České investiční fondy sní americký sen

Osvědčený recept na linecké. Zásadní je správný poměr surovin

Zenbook Duo: elegán se dvěma displeji a několika kompromisy

Datové schránky se budou stěhovat a projdou redesignem

Nemoc koz ji dovedla k podnikání a založila přírodní lékárnu

Neudržel telefon, nemohl předpažit. Byla to mrtvice

Pupp, Ještěd, InterContinental: Poznejte slavné hotely podle fotek

Nemocenská 2026. Spočítali jsme, kdo dostane za marodění víc

Je mi dobře, prášek si nevezmu. Lidé si nerozumně mění léčbu

Stop nákupům, start pomoci: je tu Giving Tuesday

Za bolestivou menstruaci někdy může endometrióza

Nádor slinivky se ohlásil nafouklým břichem, pak přišla rychlá operace

Česká televize chystá projekt Tak moment pro mladé

Firmy nejsou připraveny na změny. Čeká je krize komunikace

Evropa už utíká od amerických cloudů