With the warning that it's using Idris and strict semantics rather than lazy, I'd almost agree. I think for Haskell specifically that http://haskellbook.com ht

With the warning that it's using Idris and strict semantics rather than lazy, I'd almost agree. I think for Haskell specifically that http://haskellbook.com http://haskellbook.com is the best.