Type-driven Development with Idris
April 30, 2017Edwin 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 … Continue reading