add idris support
complete idris addition