Ověřené funkční programování v Agdě - Verified Functional Programming in Agda
Agda je pokročilý programovací jazyk založený na teorii typů. Typový systém...
© Book1 Group - všechna práva vyhrazena.
Obsah těchto stránek nesmí být kopírován ani použit, a to ani částečně ani úplně, bez písemného svolení vlastníka.
Poslední úprava: 2024.11.08 20:25 (GMT)
