相关资源 Type-driven development with Idris , Edwin Brady, published by Manning , March 2017 Idris 2: Quantitative Type Theory in Practice…...