Hacker News new | ask | show | jobs
by ska80 2180 days ago
Actually no. Familiarity with Haskell can actually make learning Idris more difficult :). It is better if you start from scratch when learning Idris.