My Solution to Exercises in the Book: Type-Driven Development with Idris
Primary LanguageIdris
No issues in this repository yet.