I expect that many readers are haskellers trying to get better understanding
of dependent types. I include myself in this category.
For (almost) every code example in this book I tried to write a Haskell version
that closely mimics the original. I wrote these as lhs and generated markdown files.
The result is this project wiki pages:

https://github.com/rpeszek/IdrisTddNotes/wiki

I appreciate any comments either files as either an issue against my project or
a reply here.

I also started working on Scala version of this comparison.