Type-Driven Development with Idris
Type-Driven Development with Idris PDF book is popular Computers book written by Edwin Brady. The book was released by Simon and Schuster on 2017-03-13 with total hardcover pages 744. Fast download link is given in this page, you could read Type-Driven Development with Idris by Edwin Brady in PDF, epub and kindle directly from your devices.
Type-Driven Development with Idris
-
Type-Driven Development with Idris Book Detail
- Author : Edwin Brady
- Release Date : 2017-03-13
- Publisher : Simon and Schuster
- Genre : Computers
- Pages : 744
- ISBN 13 : 1638352240
- File Size : 53,53 MB