Add idris mode