Some Idris tweaks
idris-mode