> Idris isn't very far from Haskell. From my experience it's very far apart. I know that there is Haskell Liquid but that is still does not make it a real valu

> Idris isn't very far from Haskell. From my experience it's very far apart. I know that there is Haskell Liquid but that is still does not make it a real value-dependent type-system, even though in many cases it allows a similar expressiveness. If we talk in the context of programming paradigms, I don't think I would count Haskell in.