New JavaScript code generator in Idris 2
I wonder how much effort would it take to add a rust code generator. I'm guessing we can't add a C code generator because idris seems to need a garbage collector.