added Idris support