5 ms·

Idris is a wonderful language but the tooling there is even more immature for numerical computing than Haskell.