3 ms·
Actually no. Familiarity with Haskell can actually make learning Idris more difficult :). It is better if you start from scratch when learning Idris.
by ska80 6y ago
Actually no. Familiarity with Haskell can actually make learning Idris more difficult :). It is better if you start from scratch when learning Idris.