[myth_drannon]

You need to be very familiar with Haskell to tackle Idris.

[ska80]

Actually no. Familiarity with Haskell can actually make learning Idris more difficult :). It is better if you start from scratch when learning Idris.

[exdsq]

There are some pretty good tutorials on Idris which cover just enough Haskell to get you started but yes, maybe it's too much in one go. Dependent Types though <3