Major mode for editing Idris code