add idris mode