add idris support