/type-driven-development

Excercises for Type Driven Development with Idris

Primary LanguageIdris

Watchers