{
  "title": "Path Types: Symmetry, Function Extensionality, Boolean Double Negation",
  "origin_url": "https://github.com/agda/cubical",
  "license_guess": "MIT",
  "code_sha256": "6d179a443e0d059004e3668471680b63f7ab9b63c9b475f61e0bf471e7cde711",
  "added_at": "2026-03-13T10:00:00Z"
}