https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/ 10 things Idris improved over HaskellThe 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers.But this post is not about dependent typing. There is already a really good book that came out this year, named Type Driven Developm..