Added Idris mode