>What in the world counts as "serious" to some of you people? For a programming language? Would be good to know what projects have used it. Most languages peop

>What in the world counts as "serious" to some of you people? For a programming language? Would be good to know what projects have used it. Most languages people develop are done as either a hobby or to serve some kind of research/academic purpose. Is Idris used for any production grade software?