>I don't think there is a sharp qualitative difference between Idris and Haskell. Yes, there's no such a difference. However, in order to use Idris to its full

>I don't think there is a sharp qualitative difference between Idris and Haskell. Yes, there's no such a difference. However, in order to use Idris to its full potential, you need to use dependent types. It's just like writing procedural programs in object-oriented or functional language. It's possible, however, it's not a very bright idea.