IdrisTddNotes 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.