Compared to other darling languages like Go, Haskell and Rust, I think Idris has a comparatively low profile. It pops up occasionally, but not all that much. I'

Compared to other darling languages like Go, Haskell and Rust, I think Idris has a comparatively low profile. It pops up occasionally, but not all that much. I'd be surprised if it was a dozen in a month.