IdrisTddNotes
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
Install / Use
/learn @rpeszek/IdrisTddNotesREADME
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.
