KEY FEATURES - Written by the creator of Idris - Improve performance and accuracy of programs - Teaches Idris, a new type-driven development language - Hands-on code examples - Build real-world software AUDIENCE Written for programmers with knowledge of basic functional programming concepts.
Read More
KEY FEATURES - Written by the creator of Idris - Improve performance and accuracy of programs - Teaches Idris, a new type-driven development language - Hands-on code examples - Build real-world software AUDIENCE Written for programmers with knowledge of basic functional programming concepts.
Read Less
Add this copy of Type-Driven Development with Idris to cart. $45.62, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2017 by Manning Publications.
