I love Idris as much as the next guy, but I doubt virtually anyone is using it for production code. By contrast, there are millions upon millions of lines of H

I love Idris as much as the next guy, but I doubt virtually anyone is using it for production code. By contrast, there are millions upon millions of lines of Haskell code in production all over the world.