Edwin Brady, "Type-driven Development with Idris"
ISBN: 1617293024 | 2017 | PDF | 480 pages | 11 MB
Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development.