1
There was a good interview on Corecursive about Idris, so IMHO that's some evidence that some people are serious about the language.
@CoastalCoder
Tech Talk: Idris, Proofs and Haskell with Edwin Brady
with Edwin Brady
Edwin Brady
Episodes featuring Edwin Brady as a guest