/IdrisTddNotes

Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

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.