/tddwi

Exercises solutions for the book Type-driven development with Idris

Primary LanguageIdris

Watchers