Add default idris command