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)
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)
AmigaOS 3.2.3 pro Motorola 68K (Root.cz - Zprávičky, 14. 4. 2025)
US Open: Plíšková přejela Bouzkovou. Český pár vyřadil sestry Williamsovy (iSport.cz, 2. 9. 2022)
Tenisová Sparta slaví 12. extraligový titul, ve finále si poradila s Přerovem (Sport iDNES.cz, 19. 12. 2025)

Nejnovější články

Projekt Speedrun: první počítač navržený AI za týden (19. 12. 2025)
Firefox bude umět zakázat všechnu AI (19. 12. 2025)
Ubuntu 26.04 LTS bude mít jádro 6.20 nebo 7.00 (19. 12. 2025)
V Edici CZ.NIC vychází kniha Kity, bity, neurony od Martina Malého (19. 12. 2025)
LG umožní smazání webové aplikace Copilot ze svých TV (19. 12. 2025)

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