Type-driven Development with Idris

Type-driven Development with Idris

by Edwin Brady
  • List Price: $49.99
  • ISBN-10: 1617293024
  • ISBN-13: 9781617293023
  • Edition: 1st
  • Type: Paperback
  • Publisher: Manning Publications

About The Book

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... Read more

FINDING THE BEST PRICES

Related Books

Habits of the Heartland: Small-Town Life in Modern America
  • Year: -0001
  • Edition: 1st
  • Publisher: Cornell University Press
  • Type: Paperback
  • ISBN13: 9780801476433
  • ISBN: 0801476437
Rural Communities: Legacy and Change
  • Year: -0001
  • Edition: 3rd
  • Publisher: Westview Press
  • Type: Paperback
  • ISBN13: 9780813343778
  • ISBN: 0813343771
New New Media
  • Year: 2009
  • Edition: 1st
  • Publisher: Pearson
  • Type: Paperback
  • ISBN13: 9780205673308
  • ISBN: 0205673309