{
  "recommendations": ["banacorn.agda-mode"]
}