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. $24.63, good condition, Sold by Greener Books rated 5.0 out of 5 stars, ships from London, UNITED KINGDOM, published 2017 by Manning Publications.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books.
Add this copy of Type-Driven Development With Idris to cart. $50.78, new condition, Sold by Books2anywhere rated 5.0 out of 5 stars, ships from Fairford, GLOUCESTERSHIRE, UNITED KINGDOM, published 2017 by Pearson Education.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Add this copy of Type-Driven Development With Idris to cart. $16.37, fair condition, Sold by Goodwill Books rated 5.0 out of 5 stars, ships from Hillsboro, OR, UNITED STATES, published 2017 by Manning Publications.
Add this copy of Type-Driven Development With Idris to cart. $17.37, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2017 by Manning Publications.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Type-Driven Development With Idris to cart. $51.85, good condition, Sold by Book Words rated 5.0 out of 5 stars, ships from Midland Park, NJ, UNITED STATES, published 2017 by Manning.
Add this copy of Type-Driven Development With Idris to cart. $52.85, good condition, Sold by TEXTSHUB rated 5.0 out of 5 stars, ships from Franklin Lakes, NJ, UNITED STATES, published 2017 by Manning.
Add this copy of Type-Driven Development with Idris to cart. $54.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. $17.36, very good condition, Sold by ThriftBooks-Reno rated 4.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 2017 by Manning Publications.
