The Author Online Book Forums are Moving

The Author Online Book Forums will soon redirect to Manning's liveBook and liveVideo. All book forum content will migrate to liveBook's discussion forum and all video forum content will migrate to liveVideo. Log in to liveBook or liveVideo with your Manning credentials to join the discussion!

Thank you for your engagement in the AoF over the years! We look forward to offering you a more enhanced forum experience.

Robert Peszek (2) [Avatar] Offline
#1
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.