When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Brady, E: Type-driven Development with Idris by Brady, Edwin [Paperback]
- Item No : 177131448299
- Condition : Brand New
- Brand : No brand Info
- Seller : loveourprices2
- Current Bid : US $47.36
-
* Item Description
- Book teaches readers using Idris, a language designed from the very. Written by the creator of Idris. Readers learn how to. Improve performance and accuracy of programs. By the end of. this book, readers will be able to develop robust and verified software.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
