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)
Šest Češek postoupilo v Miami do 3. kola. Kvitová dala kanára Noskové (iSport.cz, 25. 3. 2023)

Nejnovější články

Česko se zapojí do největšího evropského cvičení kybernetických krizí Cyber Europe 2026 (10. 6. 2026)
DNES
Microsoft uvolnil Windows CLAT pro veřejné testování (10. 6. 2026)
DNES
Tým projektu BIRD vydal nové verze ke všem podporovaným řadám (10. 6. 2026)
DNES
Beta verze macOS 27 znemožňuje start systému Asahi Linux (10. 6. 2026)
DNES
Alpine Linux 3.24 přináší GNOME 50, KDE Plasma 6.6 a COSMIC (10. 6. 2026)
DNES

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