Add idris support.