Add comments setting to make vim recognize Idris comments