Idris is primarily an academic language, much like Haskell. While I don't doubt that people will come to implement such programs in it at some point, I haven't

Idris is primarily an academic language, much like Haskell. While I don't doubt that people will come to implement such programs in it at some point, I haven't seen anything yet (though I admittedly don't stick close to Idris at the moment so I could've missed something).