This project accompanies my IdrisTddNotes that follow 'Type Driven Development with Idris' book and compare Idris to Haskell.
When this work gets into a more advanced state, I will think about incorporating these Scala programs
IdrisTddNotes wiki pages.
Very much work-in-progress