Get idris to generate object files. I'm sure this will help