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″]