My notes from reading Type Driven Development with Idris. Currently in (or comparing Idris to) Haskell, working on Scala version.
Please see generated Wiki pages.
rpeszek/IdrisTddNotes
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
HaskellBSD-3-Clause