6 stores
Manning
Type-Driven Development with Idris
Compared at 6 stores·New and used
·Updated 18 hours ago
Lowest $6.34Highest $86.13
Compare buying options
19 live offers. The cheapest is new.Sold byDetailsSpecial savingsItem price
Product Description
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
Set Price Drop
Get an alert as soon as it’s on sale.
Alert set
Your price
Lowest now$6.34
We’ll let you know when any store drops to your price or lower.
Video reviews
Reviews of this product on YouTube.Just For You
Stores we recommend, with today’s cash back rates.
Boosted Cash BackBoosted
Activate & Shop
Boosted Cash BackBoosted
Activate & Shop
Boosted Cash BackBoosted
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Boosted Cash BackBoosted
Activate & Shop
Activate & Shop
Boosted Cash BackBoosted
Activate & Shop
Activate & Shop
Boosted Cash BackBoosted
Activate & Shop
Activate & ShopTemu
Up to 40% Cash Back
Up to 30% Off Select Items
Activate & ShopAlo Yoga
6% Cash Back
Up to 40% Off Select Items
Activate & ShopEtsy
3.7% Cash Back
Up to 75% Off Select Items
Activate & Shop2ndSwing
2.5% Cash Back
Activate & ShopLowe's
1.6% Cash Back
Activate & ShopOrthoFeet
1% Cash Back
Up to 35% Off
Activate & ShopeBay
Up to 1.5% Cash Back
20% Off Select Items
Activate & ShopThe Home Depot
Up to 8% Cash Back
Shop Decor Day Savings
Activate & ShopHot Topic
1% Cash Back
20% Off
Activate & ShopZappos
2% Cash Back
10% Off First Order
Activate & ShopBannerBuzz
3% Cash Back
Activate & ShopiHerb
8% Cash Back
Up to 50% Off Select Items