examples and exercises in "Type-Driven Development with Idris"
Primary LanguageIdrisApache License 2.0Apache-2.0