add Idris-lang setting.