fixup! [idris] Run idris process automatically