PLFA agda exercises
{
  "devDependencies": {
    "browser-sync": "^3.0.4",
    "html-validate": "^10.4.0",
    "html-minifier": "^4.0.0",
    "sass": "^1.94.2"
  }
}