3 ms·
You need to be very familiar with Haskell to tackle Idris.
by myth_drannon 6y ago
You need to be very familiar with Haskell to tackle Idris.
- exdsq 6y agoThere 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
- ska80 6y agoActually no. Familiarity with Haskell can actually make learning Idris more difficult :). It is better if you start from scratch when learning Idris.