Somewhere to put code written while working through "Type-Driven Development with Idris"
Primary LanguageIdris
