Type Driven Development with Idris
March 2, 2017 ยท View on GitHub
Sample code and exercise solutions from "Type Driven Development with Idris", available from https://www.manning.com/books/type-driven-development-with-idris
March 2, 2017 ยท View on GitHub
Sample code and exercise solutions from "Type Driven Development with Idris", available from https://www.manning.com/books/type-driven-development-with-idris