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
DPD courier 4.99 €
GLS courier 11.49 €
Shopping guide
My account
▸
Empty :-(
0
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
?
124 b
124 b
51.08
€
In stock at our supplier
Shipping in 9-15 days
30-day return policy
Customers also purchased
/
Adobe ePub DRM
71.12
€
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.95
€
/
Book
15.77
€
