Removed Agda mode