-------------------- YOULIBR - Type-driven Development with Idris Edwin Brady PDF | EPUB 2017 BOOKS PROGRAMMING type-driven-development-with-idris
BOOKS - PROGRAMMING - Type-driven Development with Idris
Type-driven Development with Idris - Edwin Brady 2017 PDF | EPUB Manning Publications BOOKS PROGRAMMING
US $6.88

Views
549654
Type-driven Development with Idris
Author: Edwin Brady
Year: 2017
Number of pages: 480
Format: PDF | EPUB
File size: 12 MB
Language: ENG

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.

You may also be interested in: