Add idris stuff