Type-Driven Development with Idris

eBook Details:

  • Paperback: 480 pages
  • Publisher: WOW! eBook; 1st edition (March 31, 2017)
  • Language: English
  • ISBN-10: 1617293024
  • ISBN-13: 978-1617293023

eBook Description:

Type-Driven Development with Idris

[download id=”6121″]

Leave a Reply

Your email address will not be published. Required fields are marked *