Vyšla Agda 2.6.3

Přidat Root.cz - Zprávičky do oblíbených

Doporučujeme: Nastavte si sledování zajímavých článků a podcastů podle toho, co Vás zajímá. Nastavit

Vyšla Agda 2.6.3

Datum publikování: 30. 1. 2023

Byla vydána Agda verze 2.6.3. Přináší o 30% rychlejší typovou kontrolu (měřeno na standardní knihovně) a širší podporu reflexe (generování typů).

Přečíst celý článek na Root.cz - Zprávičky

Upoutávka na článek je uveřejněna se svolením Root.cz - Zprávičky. Celý článek si můžete přečíst zde.

Související témata

Doporučené články

Vyšla verze 0.6.0 jazyka Idris 2 (Root.cz - Zprávičky, 28. 10. 2022)
Vyšla nová verze jazyka Idris 2 (Root.cz - Zprávičky, 25. 6. 2021)
Vyšla nová verze pfSense CE 2.6.0-RELEASE a pfSense Plus 22.01-RELEASE (Root.cz - Zprávičky, 14. 2. 2022)
Muchová v Dauhá zdolala Řekyni Sakkariovou. Může zaútočit na druhý titul v kariéře (iSport.cz, 13. 2. 2026)
Muchová se v Dauhá probila až do finále. O druhý titul si zahraje proti Mbokové (Sport iDNES.cz, 13. 2. 2026)
Matematická hádanka: Zvládnete bez kalkulačky spočítat příklad 3 x 7 (2 + 2) - 6? (Dotyk.cz, 12. 2. 2026)
Krejčíkové vyšla londýnská premiéra, postoupily také Plíšková a Martincová (Sport iDNES.cz, 29. 6. 2021)
Vyšlo WSL 2.6.0, poprvé jako open source (Root.cz - Zprávičky, 20. 6. 2025)
Vyšla beta Ubuntu 23.04 (Root.cz - Zprávičky, 31. 3. 2023)

Nejnovější články

XFS se bude s jádrem 7.0 opravovat samo (13. 2. 2026)
Rusko blokuje WhatsApp a Telegram (13. 2. 2026)
Falešná stránka 7Zip šířila škodlivý kód pro Windows (13. 2. 2026)
Apple opravil bezpečnostní chybu, která byla v iOS od verze 1.0 (13. 2. 2026)
Jádro 7.0 odstraňuje podporu pro podepisování modulů prolomeným SHA-1 (13. 2. 2026)

Zobrazit poslední články na Root.cz - Zprávičky