Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your mobile phone number.

Type-driven Development with Idris 1st Edition

4.5 out of 5 stars 7 customer reviews
ISBN-13: 978-1617293023
ISBN-10: 1617293024
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Have one to sell? Sell on Amazon
Buy new
$49.97
Only 20 left in stock (more on the way).
Ships from and sold by Amazon.com. Gift-wrap available.
23 New from $39.82
Type-driven Development w... has been added to your Cart

Ship to:
To see addresses, please
or
Please enter a valid US zip code.
or
More Buying Choices
23 New from $39.82 13 Used from $41.26
Free Two-Day Shipping for College Students with Prime Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


Garth Brooks: The Anthology Part 1 | Limited Edition
A great gift for country music fans, The Anthology Part 1 includes CDs containing the music of Garth's first five years, and behind-the-scenes photographs and stories never before made public. Learn more
$49.97 FREE Shipping. Only 20 left in stock (more on the way). Ships from and sold by Amazon.com. Gift-wrap available.
click to open popover

Frequently bought together

  • Type-driven Development with Idris
  • +
  • Types and Programming Languages (MIT Press)
Total price: $131.86
Buy the selected items together

From the Publisher

Editorial Reviews

About the Author


Product details

  • Paperback: 480 pages
  • Publisher: Manning Publications; 1 edition (March 31, 2017)
  • Language: English
  • ISBN-10: 1617293024
  • ISBN-13: 978-1617293023
  • Product Dimensions: 7.3 x 0.9 x 9.2 inches
  • Shipping Weight: 1.8 pounds (View shipping rates and policies)
  • Average Customer Review: 4.5 out of 5 stars 7 customer reviews
  • Amazon Best Sellers Rank: #266,677 in Books (See Top 100 in Books)
  • Would you like to tell us about a lower price?
    If you are a seller for this product, would you like to suggest updates through seller support?

NO_CONTENT_IN_FEATURE

Holiday Home Gift Guide

Customer reviews

Share your thoughts with other customers
See all 7 customer reviews

Top customer reviews

on June 5, 2017
4 helpful votes
5 helpful votes
|
VINE VOICEon June 14, 2017
Vine Customer Review of Free Product( What's this? )
1 helpful vote
2 helpful votes
|

Set up an Amazon Giveaway

Type-driven Development with Idris
Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more about Amazon Giveaway
This item: Type-driven Development with Idris

Pages with related products. See and discover other items: computer code, software quality assurance