/idris-book

Idris sandbox

Primary LanguageIdris

Type-Driven Development with Idris

Notes and some implementaions from the book.