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

Social Groups in Action and Interaction
  • Year: 2004
  • Edition:
  • Publisher: Psychology Press
  • Type: Paperback
  • ISBN13: 9781841694078
  • ISBN: 184169407X
The Presidential Difference: Leadership Style from FDR to...
  • Year: 2009
  • Edition: 3rd
  • Publisher: Princeton University Press
  • Type: Paperback
  • ISBN13: 9780691143835
  • ISBN: 0691143838
Follow Your True Colors to the Work You Love
  • Year: 1998
  • Edition: 1st
  • Publisher: True Colors
  • Type: Paperback
  • ISBN13: 9781893320284
  • ISBN: 1893320286