Dependently Typed Programming with Idris 2 : The Complete Guide for Developers and Engineers
(Reklamlänk)
"Dependently Typed Programming with Idris 2" "Dependently Typed Programming with Idris 2" offers a comprehensive journey into the theory, practice, and frontiers of modern dependently typed programming. Beginning with a robust exploration of type theory’s evolution, the book grounds readers in the
