/idris-exercises

Exercises from the Idris Type Driven Development book

Primary LanguageIdris

Watchers