/idris-tdd-exercises

exercises from the Type-Driven-Development book by Edwin Brady

Primary LanguageIdris

Watchers