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

Melvin Mencher's News Reporting and Writing
  • Year: -0001
  • Edition: 12nd
  • Publisher: McGraw-Hill Education
  • Type: Paperback
  • ISBN13: 9780073511993
  • ISBN: 0073511994
THINK Sociology
  • Year: -0001
  • Edition: 2nd
  • Publisher: Pearson
  • Type: Paperback
  • ISBN13: 9780205777181
  • ISBN: 020577718X
Community Journalism: Relentlessly Local (H. Eugene and...
  • Year: 2006
  • Edition: 3rd
  • Publisher: The University of North Carolina Press
  • Type: Paperback
  • ISBN13: 9780807856291
  • ISBN: 0807856290