examples and exercises in "Type-Driven Development with Idris"
Primary LanguageIdrisApache License 2.0Apache-2.0
No issues in this repository yet.