Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
DPD courier 3.99 €
DPD point 2.99 €
Shopping guide
My account
▸
Empty :-(
0
Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.
Type-driven Development with Idris
Language
English
English
Book
Paperback
Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to impr...
Libristo code: 12404702
?
129 b
129 b
52.79
€
VAT included
In stock at our supplier
Shipping in 9-15 days
Delivery to Austria
Delivery to Austria
30-day return policy
Customers also purchased
/
Adobe ePub DRM
73.99
€
Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris,
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Type-driven Development with Idris
Author
Edwin Brady
Language
English
English
Binding
Book - Paperback
Date of issue
2017
Number of pages
480
EAN
9781617293023
ISBN
1617293024
Libristo code
12404702
Publishers
Manning Publications
Weight
812
Dimensions
235 x 191 x 25
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
4.89
€
/
Book
16.49
€
