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.
Add this copy of Type-Driven Development with Idris to cart. $60.17, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2017 by Manning Publications.
Add this copy of Type-Driven Development With Idris to cart. $77.92, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2017 by Manning.
