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

Introduction to Community Development: Theory, Practice,...
  • Year: 2003
  • Edition: 1st
  • Publisher: SAGE Publications, Inc
  • Type: Paperback
  • ISBN13: 9781412974622
  • ISBN: 1412974623
Hollowing Out the Middle: The Rural Brain Drain and What...
  • Year: 2010
  • Edition: 59822nd
  • Publisher: Beacon Press
  • Type: Paperback
  • ISBN13: 9780807006146
  • ISBN: 0807006149
Pedagogy of the Oppressed, 30th Anniversary Edition
  • Year: 2008
  • Edition: 30th
  • Publisher: Continuum
  • Type: Paperback
  • ISBN13: 9780826412768
  • ISBN: 0826412769