Vyšla Agda 2.6.3

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šla beta Ubuntu 23.04 (Root.cz - Zprávičky, 31. 3. 2023)
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)
Eurozóna: Peněžní zásoba M3 v březnu meziročně vzrostla o 6,3 % při očekávání růstu o 6,2 % (Investujeme.cz, 29. 4. 2022)
Nosková vyřadila Kvitovou, v Cincinnati uspěly i Bouzková, Vondroušová a Muchová (Sport iDNES.cz, 17. 8. 2023)

Nejnovější články

V Japonsku doporučují dát uživatelská jména a hesla do závěti (22. 11. 2024)
Nové PHP 8.4.1: háčky vlastností, nesymetrická viditelnost a líné objekty (22. 11. 2024)
Loki: log management v Grafaně (školeni) (22. 11. 2024)
Jádro 6.13 přidává podporu pro SD karty 2–128 TB (22. 11. 2024)
GIMP oslavil 29 let (21. 11. 2024)

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