My experience is from 2015 but from a language-perspective the only things I personally saw lacking for prime-time use would be performance and the compiler/type-checker not always giving accurate error messages - but overall, nothing considerable when comparing to Haskell. I don't know how much those areas have been improving since. Overall I was very excited about Idris and found the syntax a lot more approachable than Haskell.
If the meager library of third-party and community packages is an important factor or not depends a lot on the domain.
I really wish some powerful corp would pick up Idris and put contributions and/or funding to it.
Precisely my experience as well! I also wish Edwin would get some sort of corporate backing so that Idris could be funded to get into production-ready mode. Idris2 is much faster (both compilation wise as well as execution wise) than Idris1, but the standard library is not done (as are parts of the language itself).
I would love to be able to write production code in Idris rather than patching together a million Haskell extensions.
If the meager library of third-party and community packages is an important factor or not depends a lot on the domain.
I really wish some powerful corp would pick up Idris and put contributions and/or funding to it.