Sample code and exercise solutions from "Type Driven Development with Idris", available from https://www.manning.com/books/type-driven-development-with-idris
drruisseau / typedd-samples Goto Github PK
View Code? Open in Web Editor NEWThis project forked from edwinb/typedd-samples
Sample code from "Type Driven Development with Idris"
License: MIT License