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)
Lehečka i Macháč slaví postup do 3. kola, dál jdou i dvě Češky. Menšík končí (iSport.cz, 28. 8. 2025)
US Open: Lehečka i Macháč slaví postup do 3. kola. Krejčíková přehrála Japonku (iSport.cz, 27. 8. 2025)
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)

Nejnovější články

Spoluautor Unixu Brian Kernighan vyzkoušel Rust (1. 9. 2025)
Josef Bacik už nepracuje na Btrfs (1. 9. 2025)
Hlasujte o tématech pro letošní ročník LinuxDays (1. 9. 2025)
Šestidenní online kurz Hacking v praxi dotovaný úřadem práce (1. 9. 2025)
Bcachefs v jádře nebude (1. 9. 2025)

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