Hacker News new | ask | show | jobs
by Ixiaus 4387 days ago
Idris is a wonderful language but the tooling there is even more immature for numerical computing than Haskell.